Test.DejaFu
autocheck
dejafu
dejafus
autocheckIO
dejafuIO
dejafusIO
data Way
defaultWay
systematically
randomly
uniformly
swarmy
autocheckWay
autocheckWayIO
dejafuWay
dejafuWayIO
dejafusWay
dejafusWayIO
data MemType
defaultMemType
data Bounds
defaultBounds
noBounds
data PreemptionBound
defaultPreemptionBound
data FairBound
defaultFairBound
data LengthBound
defaultLengthBound
data Result a
data Failure
runTest
runTestWay
runTestM
runTestWayM
type Predicate a
representative
abortsNever
abortsAlways
abortsSometimes
deadlocksNever
deadlocksAlways
deadlocksSometimes
exceptionsNever
exceptionsAlways
exceptionsSometimes
alwaysSame
notAlwaysSame
alwaysTrue
alwaysTrue2
somewhereTrue
gives
gives'