PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Detecting non-determinism in tests

Open akashlal opened this issue 8 years ago • 0 comments

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.

akashlal avatar Sep 01 '17 07:09 akashlal