NuGet Gallery | coyote

Microsoft.Coyote The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft coyote

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

Microsoft.Coyote.Test The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft coyote

The Coyote systematic testing engine.

Microsoft.Coyote.CLI The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft coyote

The Coyote .NET command-line tool.

Microsoft.Coyote.Core The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft coyote

The Coyote core libraries and runtime.

Microsoft.Coyote.Actors The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft coyote

The Coyote actor runtime and library.

Microsoft.Coyote.Tool The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft coyote

The self-contained Coyote command-line tool.