PSharp
PSharp copied to clipboard
Detecting non-determinism in tests
This is probably a long-term issue. We should add the ability to detect non-determinism in tests, for instance, by noticing when we're unable to repro traces. Even better if we can help pinpoint the culprit.