2 ms·For property-based testing of concurrency & nondeterminism, look into dejafu :)by whateveracct 7y agoFor property-based testing of concurrency & nondeterminism, look into dejafu :)