Michael Walker 19f3404d1d Correctly handle re-ordering forks and newCRefs in simplifier ... Re-ordering forks will change thread IDs, and re-ordering newCRefs will change CRef IDs (which will then change commit thread IDs when executing under PSO). So before we can execute a simplified trace, we have to consistently renumber everything again.		2018-03-11 23:15:44 +00:00
..
exe	Replace QuickCheck tests with Hedgehog ones	2018-02-16 20:04:54 +00:00
lib	Correctly handle re-ordering forks and newCRefs in simplifier	2018-03-11 23:15:44 +00:00
dejafu-tests.cabal	Add tests for early-exit	2018-03-05 12:37:21 +00:00
LICENSE	Make a separate package for the test suite. Closes #31.	2015-12-01 05:07:56 +00:00
Setup.hs	Warn, lint, & style tests	2018-02-16 20:04:54 +00:00