microsoft/coyote

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

C#NOASSERTION