Michael Walker d0f23f5818 Reject failures in alwaysSame/On/By		2018-06-10 14:28:49 +01:00
..
Examples	Reject failures in alwaysSame/On/By	2018-06-10 14:28:49 +01:00
Integration	Add a couple of tests for inherited masking states	2018-06-10 03:29:50 +01:00
Test/Tasty	Inline tasty-hedgehog dep into dejafu-tests	2018-03-24 23:14:04 +00:00
Unit	Add flag to Throw/ThrowTo showing if the thread was killed	2018-06-10 01:34:02 +01:00
Common.hs	Remove swarmy	2018-06-03 02:46:00 +01: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	Replace LeanCheck tests with Hedgehog tests	2018-02-16 20:04:54 +00:00