tasty-dejafu-2.1.0.1: Deja Fu support for the Tasty test framework.

Index

->-Test.Tasty.DejaFu
===Test.Tasty.DejaFu
=>=Test.Tasty.DejaFu
BasicTest.Tasty.DejaFu
boundFairTest.Tasty.DejaFu
boundPreempTest.Tasty.DejaFu
Bounds 
1 (Data Constructor)Test.Tasty.DejaFu
2 (Type/Class)Test.Tasty.DejaFu
ConcIOTest.Tasty.DejaFu
ConcTTest.Tasty.DejaFu
ConditionTest.Tasty.DejaFu
defaultBoundsTest.Tasty.DejaFu
defaultFairBoundTest.Tasty.DejaFu
defaultMemTypeTest.Tasty.DejaFu
defaultPreemptionBoundTest.Tasty.DejaFu
defaultSettingsTest.Tasty.DejaFu
defaultWayTest.Tasty.DejaFu
DiscardTest.Tasty.DejaFu
DiscardResultAndTraceTest.Tasty.DejaFu
DiscardTraceTest.Tasty.DejaFu
equivalentToTest.Tasty.DejaFu
expectFailureTest.Tasty.DejaFu
expressionTest.Tasty.DejaFu
FairBound 
1 (Data Constructor)Test.Tasty.DejaFu
2 (Type/Class)Test.Tasty.DejaFu
fromWayAndMemTypeTest.Tasty.DejaFu
getTest.Tasty.DejaFu
initialiseTest.Tasty.DejaFu
inspectIORefTest.Tasty.DejaFu
inspectMVarTest.Tasty.DejaFu
inspectTVarTest.Tasty.DejaFu
interfereTest.Tasty.DejaFu
InvariantTest.Tasty.DejaFu
ldebugFatalTest.Tasty.DejaFu
ldebugPrintTest.Tasty.DejaFu
ldebugShowTest.Tasty.DejaFu
ldiscardTest.Tasty.DejaFu
learlyExitTest.Tasty.DejaFu
LengthBound 
1 (Data Constructor)Test.Tasty.DejaFu
2 (Type/Class)Test.Tasty.DejaFu
lequalityTest.Tasty.DejaFu
listTest.Tasty.DejaFu
ListableTest.Tasty.DejaFu
llengthBoundTest.Tasty.DejaFu
lmemtypeTest.Tasty.DejaFu
lsafeIOTest.Tasty.DejaFu
lshowAbortsTest.Tasty.DejaFu
lsimplifyTest.Tasty.DejaFu
lwayTest.Tasty.DejaFu
MemTypeTest.Tasty.DejaFu
noBoundsTest.Tasty.DejaFu
OTest.Tasty.DejaFu
observeTest.Tasty.DejaFu
PartialStoreOrderTest.Tasty.DejaFu
pdiscardTest.Tasty.DejaFu
pevalTest.Tasty.DejaFu
PredicateTest.Tasty.DejaFu
PreemptionBound 
1 (Data Constructor)Test.Tasty.DejaFu
2 (Type/Class)Test.Tasty.DejaFu
ProgramTest.Tasty.DejaFu
ProPredicate 
1 (Data Constructor)Test.Tasty.DejaFu
2 (Type/Class)Test.Tasty.DejaFu
randomlyTest.Tasty.DejaFu
RefinementPropertyTest.Tasty.DejaFu
refinesTest.Tasty.DejaFu
registerInvariantTest.Tasty.DejaFu
SequentialConsistencyTest.Tasty.DejaFu
setTest.Tasty.DejaFu
SettingsTest.Tasty.DejaFu
Sig 
1 (Data Constructor)Test.Tasty.DejaFu
2 (Type/Class)Test.Tasty.DejaFu
strictlyRefinesTest.Tasty.DejaFu
systematicallyTest.Tasty.DejaFu
TestableTest.Tasty.DejaFu
testAutoTest.Tasty.DejaFu
testAutoWayTest.Tasty.DejaFu
testAutoWithSettingsTest.Tasty.DejaFu
testDejafuTest.Tasty.DejaFu
testDejafusTest.Tasty.DejaFu
testDejafusWayTest.Tasty.DejaFu
testDejafusWithSettingsTest.Tasty.DejaFu
testDejafuWayTest.Tasty.DejaFu
testDejafuWithSettingsTest.Tasty.DejaFu
testPropertyTest.Tasty.DejaFu
testPropertyForTest.Tasty.DejaFu
tiersTest.Tasty.DejaFu
TotalStoreOrderTest.Tasty.DejaFu
uniformlyTest.Tasty.DejaFu
WayTest.Tasty.DejaFu
WithSetupTest.Tasty.DejaFu
withSetupTest.Tasty.DejaFu
WithSetupAndTeardownTest.Tasty.DejaFu
withSetupAndTeardownTest.Tasty.DejaFu
withTeardownTest.Tasty.DejaFu
XTest.Tasty.DejaFu