hunit-dejafu-2.0.0.6: Deja Fu support for the HUnit test framework.

Index

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