Michael Walker 68ed444589 Make length bounding work for random scheduling too ... This works by pulling the LengthBound out of the Bounds. A logical extension of this would be to do away with Bounds entirely, and make PreemptionBound and FairBound settings in their own right, but as they only apply to DPOR, keeping them coupled to it feels less misleading.		2019-02-02 01:38:39 +00:00
..
Examples	Make length bounding work for random scheduling too	2019-02-02 01:38:39 +00:00
Integration	Replace dontCheck/subconcurrency with new Program class	2019-02-02 01:38:39 +00:00
Test/Tasty	Inline tasty-hedgehog dep into dejafu-tests	2018-03-24 23:14:04 +00:00
Unit	Replace dontCheck/subconcurrency with new Program class	2019-02-02 01:38:39 +00:00
Common.hs	Replace dontCheck/subconcurrency with new Program class	2019-02-02 01:38:39 +00:00
Examples.hs	Replace QuickCheck tests with Hedgehog ones	2018-02-16 20:04:54 +00:00
Integration.hs	Add tests for early-exit	2018-03-05 12:37:21 +00:00
QSemN.hs	Split dejafu-tests into lib + binary	2018-02-16 19:14:46 +00:00
Unit.hs	Add predicate unit tests	2018-06-10 22:30:02 +01:00