The self-contained Coyote command-line tool. coyote Microsoft.Coyote tools true Exe ..\..\bin\ false $(NoWarn),1591 Microsoft.Coyote.Tool systematic-testing;specifications;concurrency;dotnet;csharp true all all all all all $(TargetsForTfmSpecificBuildOutput);ToolDependenciesTarget $(TargetsForTfmSpecificContentInPackage);LibDependenciesTarget lib/$(TargetFramework) $(BuildOutputTargetFolder)/$(TargetFramework)