Microsoft.Coyote.Test 1.4.0 Prefix Reserved

There is a newer version of this package available.
See the version list below for details.
Install-Package Microsoft.Coyote.Test -Version 1.4.0
dotnet add package Microsoft.Coyote.Test --version 1.4.0
<PackageReference Include="Microsoft.Coyote.Test" Version="1.4.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.Coyote.Test --version 1.4.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Coyote.Test, 1.4.0"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install Microsoft.Coyote.Test as a Cake Addin
#addin nuget:?package=Microsoft.Coyote.Test&version=1.4.0

// Install Microsoft.Coyote.Test as a Cake Tool
#tool nuget:?package=Microsoft.Coyote.Test&version=1.4.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

The Coyote systematic testing library and tools.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories (1)

Showing the top 1 popular GitHub repositories that depend on Microsoft.Coyote.Test:

Repository Stars
microsoft/sarif-sdk
.NET code and supporting files for working with the 'Static Analysis Results Interchange Format' (SARIF, see https://github.com/oasis-tcs/sarif-spec)
Version Downloads Last updated
1.4.2 69 1/12/2022
1.4.1 432 10/20/2021
1.4.0 185 10/15/2021
1.3.1 1,561 8/1/2021
1.3.0 350 7/7/2021
1.2.8 360 6/4/2021
1.2.7 247 5/24/2021
1.2.6 304 4/22/2021
1.2.5 174 4/13/2021
1.2.4 365 3/3/2021
1.2.3 463 12/10/2020
1.2.2 561 11/17/2020
1.2.1 717 10/27/2020
1.2.0 302 10/27/2020
1.1.5 5,705 10/14/2020
1.1.4 330 10/10/2020
1.1.2 324 10/6/2020
1.1.1 427 9/28/2020
1.1.0 331 9/24/2020
1.0.17 651 8/14/2020
1.0.16 297 8/3/2020
1.0.15 3,286 7/22/2020
1.0.14 526 7/21/2020
1.0.12 433 7/1/2020
1.0.11 1,349 6/6/2020
1.0.10 333 6/3/2020