microsoft / coyote

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
https://microsoft.github.io/coyote/
Other
1.49k stars 77 forks source link

support optional fine-grained race-checking at memory accesses #472

Closed pdeligia closed 1 year ago