Microsoft.Coyote.Test 1.0.16 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.0.16
dotnet add package Microsoft.Coyote.Test --version 1.0.16
<PackageReference Include="Microsoft.Coyote.Test" Version="1.0.16" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.Coyote.Test --version 1.0.16
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Coyote.Test, 1.0.16"
#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.0.16

// Install Microsoft.Coyote.Test as a Cake Tool
#tool nuget:?package=Microsoft.Coyote.Test&version=1.0.16
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 10 1/12/2022
1.4.1 481 10/20/2021
1.4.0 191 10/15/2021
1.3.1 1,701 8/1/2021
1.3.0 351 7/7/2021
1.2.8 396 6/4/2021
1.2.7 248 5/24/2021
1.2.6 330 4/22/2021
1.2.5 180 4/13/2021
1.2.4 390 3/3/2021
1.2.3 468 12/10/2020
1.2.2 566 11/17/2020
1.2.1 737 10/27/2020
1.2.0 327 10/27/2020
1.1.5 5,735 10/14/2020
1.1.4 345 10/10/2020
1.1.2 339 10/6/2020
1.1.1 427 9/28/2020
1.1.0 331 9/24/2020
1.0.17 661 8/14/2020
1.0.16 322 8/3/2020
1.0.15 3,301 7/22/2020
1.0.14 541 7/21/2020
1.0.12 448 7/1/2020
1.0.11 1,359 6/6/2020
1.0.10 333 6/3/2020