dejafu/dejafu-tests/Cases
2017-08-10 20:22:03 +01:00
..
Async.hs Remove unused imports 2017-06-07 16:59:24 +01:00
Discard.hs Add a test for discarding 2017-08-10 20:22:03 +01:00
Litmus.hs Update dejafu-tests for new hunit-dejafu interface. 2017-02-20 03:23:46 +00:00
MultiThreaded.hs Add a smart constructor for constructing swarmy executions 2017-06-07 16:50:56 +01:00
Refinement.hs Add tests for refinement checking 2017-06-07 14:25:55 +01:00
SingleThreaded.hs Remove unused imports 2017-06-07 16:59:24 +01:00