Michael Walker 8bff75a167 Add dependency function property tests ... The idea is that, if the dependency function is correct, then any permutation of independent actions should give the same result. In practice it's a little more complex, as the dependency function has some special cases which are only valid because of how it is used. So an "independence" function which we can use to shuffle any trace after-the-fact has to work around those cases.		2018-02-16 20:04:52 +00:00
..
Cases	Add dependency function property tests	2018-02-16 20:04:52 +00:00
Examples	Consolidate test-running logic	2018-02-16 20:04:39 +00:00
Test/Tasty	Migrate tests from test-framework to tasty	2018-02-16 20:04:20 +00:00
Cases.hs	Migrate tests from test-framework to tasty	2018-02-16 20:04:20 +00:00
Common.hs	Add dependency function property tests	2018-02-16 20:04:52 +00:00
Examples.hs	Migrate tests from test-framework to tasty	2018-02-16 20:04:20 +00:00
QSemN.hs	Split dejafu-tests into lib + binary	2018-02-16 19:14:46 +00:00