Installing Coyote

Coyote is a NuGet library and works on .NET Core which means it can be used on Windows, Linux and macOS.

Prerequisites

Optional:

Installing the NuGet package

Install Coyote package Install Coyote Test package

The Coyote libraries can be easily installed by adding the Microsoft.Coyote NuGet package and the Microsoft.Coyote.Test NuGet package to your C# project. You can then immediately start programming the Coyote API as shown in the samples.

You can manually add Coyote to your C# project by using:

dotnet add <yourproject>.csproj package Microsoft.Coyote
dotnet add <yourproject>.csproj package Microsoft.Coyote.Test

Installing the .NET 6.0 Coyote tool

You can also install the dotnet tool named coyote for .NET 6.0 using the following command:

dotnet tool install --global Microsoft.Coyote.CLI

Now you can run the coyote test tool without having to build Coyote from source. Type coyote --help to see if it is working. The dotnet tool install can also install coyote to a local folder if you prefer that.

You can update the global coyote tool by running the following command:

dotnet tool update --global Microsoft.Coyote.CLI

You can remove the global coyote tool by running the following command:

dotnet tool uninstall --global Microsoft.Coyote.CLI

Note: this command line tool is only for .NET Core. If you need a version of coyote.exe that runs on .NET Framework, this is installed from the Microsoft.Coyote.Test package, and you can run it from the bin folder of your Coyote application.

Using the Coyote tool

To learn how to use the Coyote tool read here.

Troubleshooting

The element ‘metadata’ in namespace nuspec.xsd has invalid child element ‘repository’…

If you get an error building the nuget package, you may need to download a new version of nuget.exe from https://www.nuget.org/downloads.