dejafu-1.11.0.3: A library for unit-testing concurrent programs.

Index

->-Test.DejaFu.Refinement, Test.DejaFu
===Test.DejaFu.Refinement, Test.DejaFu
=>=Test.DejaFu.Refinement, Test.DejaFu
AAtomTest.DejaFu.Conc.Internal.Common
AbortTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
abortsAlwaysTest.DejaFu
abortsNeverTest.DejaFu
abortsSometimesTest.DejaFu
ACasIORefTest.DejaFu.Conc.Internal.Common
ACatchingTest.DejaFu.Conc.Internal.Common
ACommitTest.DejaFu.Conc.Internal.Common
ActTest.DejaFu.Conc.Internal
ActionTest.DejaFu.Conc.Internal.Common
ActionTypeTest.DejaFu.Internal
addCommitThreadsTest.DejaFu.Conc.Internal.Memory
ADelayTest.DejaFu.Conc.Internal.Common
ADontCheckTest.DejaFu.Conc.Internal.Common
AForkTest.DejaFu.Conc.Internal.Common
AForkOSTest.DejaFu.Conc.Internal.Common
AGetNumCapabilitiesTest.DejaFu.Conc.Internal.Common
AIsBoundTest.DejaFu.Conc.Internal.Common
ALiftTest.DejaFu.Conc.Internal.Common
alwaysNothingTest.DejaFu
alwaysSameTest.DejaFu
alwaysSameByTest.DejaFu
alwaysSameOnTest.DejaFu
alwaysTrueTest.DejaFu
AMaskingTest.DejaFu.Conc.Internal.Common
AModIORefTest.DejaFu.Conc.Internal.Common
AModIORefCasTest.DejaFu.Conc.Internal.Common
AMyTIdTest.DejaFu.Conc.Internal.Common
ANewIORefTest.DejaFu.Conc.Internal.Common
ANewMVarTest.DejaFu.Conc.Internal.Common
APopCatchingTest.DejaFu.Conc.Internal.Common
APutMVarTest.DejaFu.Conc.Internal.Common
AReadIORefTest.DejaFu.Conc.Internal.Common
AReadIORefCasTest.DejaFu.Conc.Internal.Common
AReadMVarTest.DejaFu.Conc.Internal.Common
AResetMaskTest.DejaFu.Conc.Internal.Common
AReturnTest.DejaFu.Conc.Internal.Common
ASetNumCapabilitiesTest.DejaFu.Conc.Internal.Common
AStopTest.DejaFu.Conc.Internal.Common
AStopSubTest.DejaFu.Conc.Internal.Common
ASubTest.DejaFu.Conc.Internal.Common
ATakeMVarTest.DejaFu.Conc.Internal.Common
AThrowTest.DejaFu.Conc.Internal.Common
AThrowToTest.DejaFu.Conc.Internal.Common
ATryPutMVarTest.DejaFu.Conc.Internal.Common
ATryReadMVarTest.DejaFu.Conc.Internal.Common
ATryTakeMVarTest.DejaFu.Conc.Internal.Common
autocheckTest.DejaFu
autocheckWayTest.DejaFu
autocheckWithSettingsTest.DejaFu
AWriteIORefTest.DejaFu.Conc.Internal.Common
AYieldTest.DejaFu.Conc.Internal.Common
backtrackAtTest.DejaFu.SCT.Internal.DPOR
BacktrackFuncTest.DejaFu.SCT.Internal.DPOR
BacktrackStep 
1 (Type/Class)Test.DejaFu.SCT.Internal.DPOR
2 (Data Constructor)Test.DejaFu.SCT.Internal.DPOR
bcktActionTest.DejaFu.SCT.Internal.DPOR
bcktBacktracksTest.DejaFu.SCT.Internal.DPOR
bcktDecisionTest.DejaFu.SCT.Internal.DPOR
bcktRunnableTest.DejaFu.SCT.Internal.DPOR
bcktStateTest.DejaFu.SCT.Internal.DPOR
bcktThreadidTest.DejaFu.SCT.Internal.DPOR
blockTest.DejaFu.Conc.Internal.Threading
BlockedOnTest.DejaFu.Conc.Internal.Threading
BlockedPutMVarTest.DejaFu.Types, Test.DejaFu.Conc
BlockedReadMVarTest.DejaFu.Types, Test.DejaFu.Conc
BlockedSTMTest.DejaFu.Types, Test.DejaFu.Conc
BlockedTakeMVarTest.DejaFu.Types, Test.DejaFu.Conc
BlockedThrowToTest.DejaFu.Types, Test.DejaFu.Conc
Blocking 
1 (Type/Class)Test.DejaFu.Conc.Internal.Memory
2 (Data Constructor)Test.DejaFu.Conc.Internal.Memory
boundFairTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
boundLengthTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
boundPreempTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
Bounds 
1 (Type/Class)Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
BoundThread 
1 (Type/Class)Test.DejaFu.Conc.Internal.Threading
2 (Data Constructor)Test.DejaFu.Conc.Internal.Threading
bufferTest.DejaFu.Conc.Internal.Memory
BufferedWrite 
1 (Type/Class)Test.DejaFu.Conc.Internal.Memory
2 (Data Constructor)Test.DejaFu.Conc.Internal.Memory
bufferWriteTest.DejaFu.Conc.Internal.Memory
canDCSnapshotTest.DejaFu.Conc
canInterruptTest.DejaFu.SCT.Internal.DPOR
canInterruptLTest.DejaFu.SCT.Internal.DPOR
CasIORefTest.DejaFu.Types, Test.DejaFu.Conc
casIORefTest.DejaFu.Conc.Internal.Memory
CatchingTest.DejaFu.Types, Test.DejaFu.Conc
catchingTest.DejaFu.Conc.Internal.Threading
cCapsTest.DejaFu.Conc.Internal
checkTest.DejaFu.Refinement, Test.DejaFu
check'Test.DejaFu.Refinement, Test.DejaFu
checkForTest.DejaFu.Refinement, Test.DejaFu
cIdSourceTest.DejaFu.Conc.Internal
CommitIORefTest.DejaFu.Types, Test.DejaFu.Conc
commitThreadIdTest.DejaFu.Conc.Internal.Memory
commitWriteTest.DejaFu.Conc.Internal.Memory
ConcIOTest.DejaFu.Conc
ConcTTest.DejaFu.Conc
Context 
1 (Type/Class)Test.DejaFu.Conc.Internal
2 (Data Constructor)Test.DejaFu.Conc.Internal
ContinueTest.DejaFu.Types, Test.DejaFu.Conc
CounterExampleTest.DejaFu.Refinement, Test.DejaFu
counterExamplesTest.DejaFu.Refinement, Test.DejaFu
CResult 
1 (Type/Class)Test.DejaFu.Conc.Internal
2 (Data Constructor)Test.DejaFu.Conc.Internal
cSchedStateTest.DejaFu.Conc.Internal
cThreadsTest.DejaFu.Conc.Internal
cWriteBufTest.DejaFu.Conc.Internal
dcSchedTest.DejaFu.Conc.Internal
dcsContextTest.DejaFu.Conc.Internal
DCSnapshot 
1 (Type/Class)Test.DejaFu.Conc.Internal, Test.DejaFu.Conc
2 (Data Constructor)Test.DejaFu.Conc.Internal
dcsRefTest.DejaFu.Conc.Internal
dcsRestoreTest.DejaFu.Conc.Internal
DeadlockTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
deadlocksAlwaysTest.DejaFu
deadlocksNeverTest.DejaFu
deadlocksSometimesTest.DejaFu
DecisionTest.DejaFu.Types, Test.DejaFu.Conc
decisionOfTest.DejaFu.Utils
defaultBoundsTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
defaultFairBoundTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
defaultLengthBoundTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
defaultMemTypeTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
defaultPreemptionBoundTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
defaultSettingsTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
defaultWayTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
dejafuTest.DejaFu
dejafuDiscardTest.DejaFu
dejafusTest.DejaFu
dejafusWayTest.DejaFu
dejafusWithSettingsTest.DejaFu
dejafuWayTest.DejaFu
dejafuWithSettingsTest.DejaFu
delCommitThreadsTest.DejaFu.Conc.Internal.Memory
dependentTest.DejaFu.SCT.Internal.DPOR
dependent'Test.DejaFu.SCT.Internal.DPOR
dependentActionsTest.DejaFu.SCT.Internal.DPOR
depIOStateTest.DejaFu.SCT.Internal.DPOR
depMaskStateTest.DejaFu.SCT.Internal.DPOR
depMVStateTest.DejaFu.SCT.Internal.DPOR
DepState 
1 (Type/Class)Test.DejaFu.SCT.Internal.DPOR
2 (Data Constructor)Test.DejaFu.SCT.Internal.DPOR
didYieldTest.DejaFu.SCT.Internal.DPOR
DiscardTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
DiscardResultAndTraceTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
DiscardTraceTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
DontCheckTest.DejaFu.Types, Test.DejaFu.Conc
dontCheckTest.DejaFu.Conc
doTransactionTest.DejaFu.Conc.Internal.STM
DPOR 
1 (Type/Class)Test.DejaFu.SCT.Internal.DPOR
2 (Data Constructor)Test.DejaFu.SCT.Internal.DPOR
dporDoneTest.DejaFu.SCT.Internal.DPOR
dporNextTest.DejaFu.SCT.Internal.DPOR
dporRunnableTest.DejaFu.SCT.Internal.DPOR
dporSchedTest.DejaFu.SCT.Internal.DPOR
DPORSchedState 
1 (Type/Class)Test.DejaFu.SCT.Internal.DPOR
2 (Data Constructor)Test.DejaFu.SCT.Internal.DPOR
dporSleepTest.DejaFu.SCT.Internal.DPOR
dporTakenTest.DejaFu.SCT.Internal.DPOR
dporTodoTest.DejaFu.SCT.Internal.DPOR
dropCommitsTest.DejaFu.SCT.Internal
eadjustTest.DejaFu.Internal
efromJustTest.DejaFu.Internal
efromListTest.DejaFu.Internal
efromRightTest.DejaFu.Internal
eidxTest.DejaFu.Internal
einsertTest.DejaFu.Internal
elookupTest.DejaFu.Internal
emptyBufferTest.DejaFu.Conc.Internal.Memory
Emptying 
1 (Type/Class)Test.DejaFu.Conc.Internal.Memory
2 (Data Constructor)Test.DejaFu.Conc.Internal.Memory
equivalentToTest.DejaFu.Refinement, Test.DejaFu
etailTest.DejaFu.Internal
exceptTest.DejaFu.Conc.Internal.Threading
ExceptionTest.DejaFu.Conc.Internal.STM
exceptionsAlwaysTest.DejaFu
exceptionsNeverTest.DejaFu
exceptionsSometimesTest.DejaFu
expectFailureTest.DejaFu.Refinement, Test.DejaFu
expressionTest.DejaFu.Refinement, Test.DejaFu
FailedTest.DejaFu.Conc.Internal
FailedPropertyTest.DejaFu.Refinement, Test.DejaFu
failingArgsTest.DejaFu.Refinement, Test.DejaFu
failingSeedTest.DejaFu.Refinement, Test.DejaFu
FailureTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
FairBound 
1 (Type/Class)Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
fatalTest.DejaFu.Internal
finalContextTest.DejaFu.Conc.Internal
finalDecisionTest.DejaFu.Conc.Internal
finalRefTest.DejaFu.Conc.Internal
finalRestoreTest.DejaFu.Conc.Internal
finalTraceTest.DejaFu.Conc.Internal
findBacktrackStepsTest.DejaFu.SCT.Internal.DPOR
findSchedulePrefixTest.DejaFu.SCT.Internal.DPOR
fixContextTest.DejaFu.Conc.Internal
ForkTest.DejaFu.Types, Test.DejaFu.Conc
ForkOSTest.DejaFu.Types, Test.DejaFu.Conc
fromIdTest.DejaFu.SCT.Internal
fromWayAndMemTypeTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
getTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
GetNumCapabilitiesTest.DejaFu.Types, Test.DejaFu.Conc
getStrongDiscarderTest.DejaFu.Types
getWeakDiscarderTest.DejaFu.Types
givesTest.DejaFu
gives'Test.DejaFu
gotoTest.DejaFu.Conc.Internal.Threading
Handler 
1 (Type/Class)Test.DejaFu.Conc.Internal.Threading
2 (Data Constructor)Test.DejaFu.Conc.Internal.Threading
Id 
1 (Type/Class)Test.DejaFu.Types
2 (Data Constructor)Test.DejaFu.Types
IdSource 
1 (Type/Class)Test.DejaFu.Internal
2 (Data Constructor)Test.DejaFu.Internal
IllegalDontCheckTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
IllegalSubconcurrencyTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
incorporateBacktrackStepsTest.DejaFu.SCT.Internal.DPOR
incorporateTraceTest.DejaFu.SCT.Internal.DPOR
IncrementalBoundFuncTest.DejaFu.SCT.Internal.DPOR
independentTest.DejaFu.SCT.Internal.DPOR
initialDepStateTest.DejaFu.SCT.Internal.DPOR
initialDPORSchedStateTest.DejaFu.SCT.Internal.DPOR
initialDPORThreadTest.DejaFu.SCT.Internal.DPOR
initialIdSourceTest.DejaFu.Internal
initialiseTest.DejaFu.Refinement, Test.DejaFu
initialRandSchedStateTest.DejaFu.SCT.Internal.Weighted
initialStateTest.DejaFu.SCT.Internal.DPOR
initialThreadTest.DejaFu.Types
interfereTest.DejaFu.Refinement, Test.DejaFu
InternalErrorTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
interruptibleTest.DejaFu.Conc.Internal.Threading
IORefId 
1 (Type/Class)Test.DejaFu.Types, Test.DejaFu.Conc
2 (Data Constructor)Test.DejaFu.Types
iorefIdTest.DejaFu.Conc.Internal.Common
iorefOfTest.DejaFu.Internal
iorefRefTest.DejaFu.Conc.Internal.Common
isAbortTest.DejaFu.Types, Test.DejaFu
isBarrierTest.DejaFu.Internal
isBlockTest.DejaFu.Internal
isBufferedTest.DejaFu.SCT.Internal.DPOR
isCommitTest.DejaFu.Internal
IsCurrentThreadBoundTest.DejaFu.Types, Test.DejaFu.Conc
isDeadlockTest.DejaFu.Types, Test.DejaFu
isFullTest.DejaFu.SCT.Internal.DPOR
isIllegalDontCheckTest.DejaFu.Types, Test.DejaFu
isIllegalSubconcurrencyTest.DejaFu.Types, Test.DejaFu
isInternalErrorTest.DejaFu.Types, Test.DejaFu
isMaskedInterruptibleTest.DejaFu.SCT.Internal.DPOR
isMaskedUninterruptibleTest.DejaFu.SCT.Internal.DPOR
isUncaughtExceptionTest.DejaFu.Types, Test.DejaFu
killTest.DejaFu.Conc.Internal.Threading
killAllThreadsTest.DejaFu.Conc.Internal
killsDaemonsTest.DejaFu.SCT.Internal.DPOR
launchTest.DejaFu.Conc.Internal.Threading
launch'Test.DejaFu.Conc.Internal.Threading
ldebugFatalTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
ldebugPrintTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
ldebugShowTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
ldiscardTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
learlyExitTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
leftResultsTest.DejaFu.Refinement, Test.DejaFu
LengthBound 
1 (Type/Class)Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
lequalityTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
lexicoNormalFormTest.DejaFu.SCT.Internal
LiftIOTest.DejaFu.Types, Test.DejaFu.Conc
listTest.DejaFu.Refinement, Test.DejaFu
ListableTest.DejaFu.Refinement, Test.DejaFu
lmemtypeTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
LookaheadTest.DejaFu.Types, Test.DejaFu.Conc
lookaheadTest.DejaFu.Conc.Internal.Common
lsafeIOTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
lsimplifyTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
lwayTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
makeBoundTest.DejaFu.Conc.Internal.Threading
makeNonPreemptiveTest.DejaFu.Schedule, Test.DejaFu.Conc
maskTest.DejaFu.Conc.Internal.Threading
MaskedInterruptibleTest.DejaFu.Conc
MaskedUninterruptibleTest.DejaFu.Conc
MaskingStateTest.DejaFu.Conc
MemTypeTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu
mkthreadTest.DejaFu.Conc.Internal.Threading
ModelConc 
1 (Type/Class)Test.DejaFu.Conc.Internal.Common
2 (Data Constructor)Test.DejaFu.Conc.Internal.Common
ModelIORef 
1 (Type/Class)Test.DejaFu.Conc.Internal.Common
2 (Data Constructor)Test.DejaFu.Conc.Internal.Common
ModelMVar 
1 (Type/Class)Test.DejaFu.Conc.Internal.Common
2 (Data Constructor)Test.DejaFu.Conc.Internal.Common
ModelSTM 
1 (Type/Class)Test.DejaFu.Conc.Internal.STM
2 (Data Constructor)Test.DejaFu.Conc.Internal.STM
ModelTicket 
1 (Type/Class)Test.DejaFu.Conc.Internal.Common
2 (Data Constructor)Test.DejaFu.Conc.Internal.Common
ModelTVar 
1 (Type/Class)Test.DejaFu.Conc.Internal.STM
2 (Data Constructor)Test.DejaFu.Conc.Internal.STM
ModIORefTest.DejaFu.Types, Test.DejaFu.Conc
ModIORefCasTest.DejaFu.Types, Test.DejaFu.Conc
MonadFailException 
1 (Type/Class)Test.DejaFu.Types
2 (Data Constructor)Test.DejaFu.Types
mutMVarTest.DejaFu.Conc.Internal.Memory
MVarId 
1 (Type/Class)Test.DejaFu.Types, Test.DejaFu.Conc
2 (Data Constructor)Test.DejaFu.Types
mvarIdTest.DejaFu.Conc.Internal.Common
mvarOfTest.DejaFu.Internal
mvarRefTest.DejaFu.Conc.Internal.Common
MyThreadIdTest.DejaFu.Types, Test.DejaFu.Conc
NewIORefTest.DejaFu.Types, Test.DejaFu.Conc
NewMVarTest.DejaFu.Types, Test.DejaFu.Conc
nextIdTest.DejaFu.Internal
nextIORIdTest.DejaFu.Internal
nextMVIdTest.DejaFu.Internal
nextTIdTest.DejaFu.Internal
nextTVIdTest.DejaFu.Internal
noBoundsTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
NoExpectedFailureTest.DejaFu.Refinement, Test.DejaFu
NonBlockingTest.DejaFu.Conc.Internal.Memory
NonEmptyingTest.DejaFu.Conc.Internal.Memory
notAlwaysSameTest.DejaFu
notAlwaysSameByTest.DejaFu
notAlwaysSameOnTest.DejaFu
numBufferedTest.DejaFu.SCT.Internal.DPOR
OTest.DejaFu.Refinement, Test.DejaFu
observeTest.DejaFu.Refinement, Test.DejaFu
OnMaskTest.DejaFu.Conc.Internal.Threading
OnMVarEmptyTest.DejaFu.Conc.Internal.Threading
OnMVarFullTest.DejaFu.Conc.Internal.Threading
OnTVarTest.DejaFu.Conc.Internal.Threading
PartiallySynchronisedCommitTest.DejaFu.Internal
PartiallySynchronisedModifyTest.DejaFu.Internal
PartiallySynchronisedWriteTest.DejaFu.Internal
PartialStoreOrderTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu
pdiscardTest.DejaFu
permuteByTest.DejaFu.SCT.Internal
pevalTest.DejaFu
PopCatchingTest.DejaFu.Types, Test.DejaFu.Conc
PredicateTest.DejaFu
PreemptionBound 
1 (Type/Class)Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
propagateTest.DejaFu.Conc.Internal.Threading
ProPredicate 
1 (Type/Class)Test.DejaFu
2 (Data Constructor)Test.DejaFu
pullBackTest.DejaFu.SCT.Internal
pushForwardTest.DejaFu.SCT.Internal
putIntoMVarTest.DejaFu.Conc.Internal.Memory
PutMVarTest.DejaFu.Types, Test.DejaFu.Conc
RandomlyTest.DejaFu.Internal
randomlyTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
randomSchedTest.DejaFu.Schedule, Test.DejaFu.Conc
randomSchedNPTest.DejaFu.Schedule, Test.DejaFu.Conc
randSchedTest.DejaFu.SCT.Internal.Weighted
RandSchedState 
1 (Type/Class)Test.DejaFu.SCT.Internal.Weighted
2 (Data Constructor)Test.DejaFu.SCT.Internal.Weighted
readForTicketTest.DejaFu.Conc.Internal.Memory
readFromMVarTest.DejaFu.Conc.Internal.Memory
ReadIORefTest.DejaFu.Types, Test.DejaFu.Conc
readIORefTest.DejaFu.Conc.Internal.Memory
ReadIORefCasTest.DejaFu.Types, Test.DejaFu.Conc
readIORefPrimTest.DejaFu.Conc.Internal.Memory
ReadMVarTest.DejaFu.Types, Test.DejaFu.Conc
RefinementPropertyTest.DejaFu.Refinement, Test.DejaFu
refinesTest.DejaFu.Refinement, Test.DejaFu
renumberTest.DejaFu.SCT.Internal
replayTest.DejaFu.SCT.Internal
representativeTest.DejaFu
ResetMaskingTest.DejaFu.Types, Test.DejaFu.Conc
Result 
1 (Type/Class)Test.DejaFu.Conc.Internal.STM
2 (Type/Class)Test.DejaFu
3 (Data Constructor)Test.DejaFu
resultsSetTest.DejaFu.SCT
resultsSet'Test.DejaFu.SCT
resultsSetDiscardTest.DejaFu.SCT
resultsSetDiscard'Test.DejaFu.SCT
resultsSetWithSettingsTest.DejaFu.SCT
resultsSetWithSettings'Test.DejaFu.SCT
RetryTest.DejaFu.Conc.Internal.STM
ReturnTest.DejaFu.Types, Test.DejaFu.Conc
rewindTest.DejaFu.Internal
rightResultsTest.DejaFu.Refinement, Test.DejaFu
roundRobinSchedTest.DejaFu.Schedule, Test.DejaFu.Conc
roundRobinSchedNPTest.DejaFu.Schedule, Test.DejaFu.Conc
runConcurrencyTest.DejaFu.Conc.Internal
runConcurrency'Test.DejaFu.Conc.Internal
runConcurrencyWithSnapshotTest.DejaFu.Conc.Internal
runConcurrentTest.DejaFu.Conc
runForDCSnapshotTest.DejaFu.Conc
runLiftedActTest.DejaFu.Conc.Internal.Threading
runModelConcTest.DejaFu.Conc.Internal.Common
runModelSTMTest.DejaFu.Conc.Internal.STM
runRefContTest.DejaFu.Internal
runSCTTest.DejaFu.SCT
runSCT'Test.DejaFu.SCT
runSCTDiscardTest.DejaFu.SCT
runSCTDiscard'Test.DejaFu.SCT
runSCTWithSettingsTest.DejaFu.SCT
runSCTWithSettings'Test.DejaFu.SCT
runTestTest.DejaFu
runTestWayTest.DejaFu
runThreadsTest.DejaFu.Conc.Internal
runTransactionTest.DejaFu.Conc.Internal.STM
runWithDCSnapshotTest.DejaFu.Conc
SCatchTest.DejaFu.Conc.Internal.STM
schedBoundKillTest.DejaFu.SCT.Internal.DPOR
schedBPointsTest.DejaFu.SCT.Internal.DPOR
schedBStateTest.DejaFu.SCT.Internal.DPOR
schedDepStateTest.DejaFu.SCT.Internal.DPOR
schedGenTest.DejaFu.SCT.Internal.Weighted
schedIgnoreTest.DejaFu.SCT.Internal.DPOR
schedPrefixTest.DejaFu.SCT.Internal.DPOR
schedSleepTest.DejaFu.SCT.Internal.DPOR
Scheduler 
1 (Type/Class)Test.DejaFu.Schedule, Test.DejaFu.Conc
2 (Data Constructor)Test.DejaFu.Schedule, Test.DejaFu.Conc
scheduleThreadTest.DejaFu.Schedule, Test.DejaFu.Conc
schedWeightsTest.DejaFu.SCT.Internal.Weighted
sctTest.DejaFu.SCT.Internal
sct'Test.DejaFu.SCT.Internal
sctBoundTest.DejaFu.SCT
sctBoundDiscardTest.DejaFu.SCT
sctUniformRandomTest.DejaFu.SCT
sctUniformRandomDiscardTest.DejaFu.SCT
sctWeightedRandomTest.DejaFu.SCT
sctWeightedRandomDiscardTest.DejaFu.SCT
seeMVarTest.DejaFu.Conc.Internal.Memory
SeqTraceTest.DejaFu.Conc.Internal
SequentialConsistencyTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu
setTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
SetMaskingTest.DejaFu.Types, Test.DejaFu.Conc
SetNumCapabilitiesTest.DejaFu.Types, Test.DejaFu.Conc
Settings 
1 (Type/Class)Test.DejaFu.Internal, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Internal
showFailTest.DejaFu.Utils, Test.DejaFu.Conc
showTraceTest.DejaFu.Utils, Test.DejaFu.Conc
Sig 
1 (Type/Class)Test.DejaFu.Refinement, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Refinement, Test.DejaFu
simplestsByTest.DejaFu.Utils
simplifyTest.DejaFu.SCT.Internal
simplifyActionTest.DejaFu.Internal
simplifyExecutionTest.DejaFu.SCT.Internal
simplifyLookaheadTest.DejaFu.Internal
SingleTest.DejaFu.Conc.Internal
SnapTest.DejaFu.Conc.Internal
SNewTest.DejaFu.Conc.Internal.STM
somewhereNothingTest.DejaFu
somewhereTrueTest.DejaFu
SOrElseTest.DejaFu.Conc.Internal.STM
SReadTest.DejaFu.Conc.Internal.STM
SRetryTest.DejaFu.Conc.Internal.STM
SStopTest.DejaFu.Conc.Internal.STM
StartTest.DejaFu.Types, Test.DejaFu.Conc
stepThreadTest.DejaFu.Conc.Internal
stepThrowTest.DejaFu.Conc.Internal
stepTransTest.DejaFu.Conc.Internal.STM
SThrowTest.DejaFu.Conc.Internal.STM
STMTest.DejaFu.Types, Test.DejaFu.Conc
STMActionTest.DejaFu.Conc.Internal.STM
STMDeadlockTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
StopTest.DejaFu.Types, Test.DejaFu.Conc
StopSubconcurrencyTest.DejaFu.Types, Test.DejaFu.Conc
Strengthen 
1 (Type/Class)Test.DejaFu.Types
2 (Data Constructor)Test.DejaFu.Types
strengthenDiscardTest.DejaFu.Types
strictlyRefinesTest.DejaFu.Refinement, Test.DejaFu
SubCTest.DejaFu.Conc.Internal
SubconcurrencyTest.DejaFu.Types, Test.DejaFu.Conc
subconcurrencyTest.DejaFu.Conc
SucceededTest.DejaFu.Conc.Internal
SuccessTest.DejaFu.Conc.Internal.STM
successfulTest.DejaFu
SwitchToTest.DejaFu.Types, Test.DejaFu.Conc
SWriteTest.DejaFu.Conc.Internal.STM
synchronisedTest.DejaFu.Conc.Internal
SynchronisedModifyTest.DejaFu.Internal
SynchronisedOtherTest.DejaFu.Internal
SynchronisedReadTest.DejaFu.Internal
SynchronisedWriteTest.DejaFu.Internal
synchronisesTest.DejaFu.Internal
SystematicTest.DejaFu.Internal
systematicallyTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
TActionTest.DejaFu.Types
takeFromMVarTest.DejaFu.Conc.Internal.Memory
TakeMVarTest.DejaFu.Types, Test.DejaFu.Conc
TCatchTest.DejaFu.Types
TestableTest.DejaFu.Refinement, Test.DejaFu
Thread 
1 (Type/Class)Test.DejaFu.Conc.Internal.Threading
2 (Data Constructor)Test.DejaFu.Conc.Internal.Threading
ThreadActionTest.DejaFu.Types, Test.DejaFu.Conc
ThreadDelayTest.DejaFu.Types, Test.DejaFu.Conc
ThreadId 
1 (Type/Class)Test.DejaFu.Types, Test.DejaFu.Conc
2 (Data Constructor)Test.DejaFu.Types, Test.DejaFu.Conc
threadNamesTest.DejaFu.Utils
ThreadsTest.DejaFu.Conc.Internal.Threading
threadsFromDCSnapshotTest.DejaFu.Conc
ThrowTest.DejaFu.Types, Test.DejaFu.Conc
ThrowToTest.DejaFu.Types, Test.DejaFu.Conc
ticketIORefTest.DejaFu.Conc.Internal.Common
ticketValTest.DejaFu.Conc.Internal.Common
ticketWritesTest.DejaFu.Conc.Internal.Common
tidOfTest.DejaFu.Utils
tidsOfTest.DejaFu.Internal
tiersTest.DejaFu.Refinement, Test.DejaFu
TNewTest.DejaFu.Types
toIdTest.DejaFu.SCT.Internal
TOrElseTest.DejaFu.Types
TotalStoreOrderTest.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu
toTIdTraceTest.DejaFu.Utils
TraceTest.DejaFu.Types, Test.DejaFu.Conc
TReadTest.DejaFu.Types
TRetryTest.DejaFu.Types
tryPutIntoMVarTest.DejaFu.Conc.Internal.Memory
TryPutMVarTest.DejaFu.Types, Test.DejaFu.Conc
tryReadFromMVarTest.DejaFu.Conc.Internal.Memory
TryReadMVarTest.DejaFu.Types, Test.DejaFu.Conc
tryTakeFromMVarTest.DejaFu.Conc.Internal.Memory
TryTakeMVarTest.DejaFu.Types, Test.DejaFu.Conc
TStopTest.DejaFu.Types
TThrowTest.DejaFu.Types
TVarId 
1 (Type/Class)Test.DejaFu.Types
2 (Data Constructor)Test.DejaFu.Types
tvarIdTest.DejaFu.Conc.Internal.STM
tvarRefTest.DejaFu.Conc.Internal.STM
tvarsOfTest.DejaFu.Internal
tvarsReadTest.DejaFu.Internal
tvarsWrittenTest.DejaFu.Internal
TWriteTest.DejaFu.Types
unblockWaitingOnTest.DejaFu.Conc.Internal
uncatchingTest.DejaFu.Conc.Internal.Threading
UncaughtExceptionTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
uniformlyTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
UnmaskedTest.DejaFu.Conc
UnsynchronisedOtherTest.DejaFu.Internal
UnsynchronisedReadTest.DejaFu.Internal
UnsynchronisedWriteTest.DejaFu.Internal
updateDepStateTest.DejaFu.SCT.Internal.DPOR
updateIOStateTest.DejaFu.SCT.Internal.DPOR
updateMaskStateTest.DejaFu.SCT.Internal.DPOR
updateMVStateTest.DejaFu.SCT.Internal.DPOR
validateDPORTest.DejaFu.SCT.Internal.DPOR
wakeTest.DejaFu.Conc.Internal.Threading
WayTest.DejaFu.Internal, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
Weaken 
1 (Type/Class)Test.DejaFu.Types
2 (Data Constructor)Test.DejaFu.Types
weakenDiscardTest.DejaFu.Types
WhatTest.DejaFu.Conc.Internal
WillCasIORefTest.DejaFu.Types, Test.DejaFu.Conc
WillCatchingTest.DejaFu.Types, Test.DejaFu.Conc
WillCommitIORefTest.DejaFu.Types, Test.DejaFu.Conc
WillDontCheckTest.DejaFu.Types, Test.DejaFu.Conc
WillForkTest.DejaFu.Types, Test.DejaFu.Conc
WillForkOSTest.DejaFu.Types, Test.DejaFu.Conc
WillGetNumCapabilitiesTest.DejaFu.Types, Test.DejaFu.Conc
WillIsCurrentThreadBoundTest.DejaFu.Types, Test.DejaFu.Conc
WillLiftIOTest.DejaFu.Types, Test.DejaFu.Conc
WillModIORefTest.DejaFu.Types, Test.DejaFu.Conc
WillModIORefCasTest.DejaFu.Types, Test.DejaFu.Conc
WillMyThreadIdTest.DejaFu.Types, Test.DejaFu.Conc
WillNewIORefTest.DejaFu.Types, Test.DejaFu.Conc
WillNewMVarTest.DejaFu.Types, Test.DejaFu.Conc
WillPopCatchingTest.DejaFu.Types, Test.DejaFu.Conc
WillPutMVarTest.DejaFu.Types, Test.DejaFu.Conc
WillReadIORefTest.DejaFu.Types, Test.DejaFu.Conc
WillReadIORefCasTest.DejaFu.Types, Test.DejaFu.Conc
WillReadMVarTest.DejaFu.Types, Test.DejaFu.Conc
willReleaseTest.DejaFu.Internal
WillResetMaskingTest.DejaFu.Types, Test.DejaFu.Conc
WillReturnTest.DejaFu.Types, Test.DejaFu.Conc
WillSetMaskingTest.DejaFu.Types, Test.DejaFu.Conc
WillSetNumCapabilitiesTest.DejaFu.Types, Test.DejaFu.Conc
WillSTMTest.DejaFu.Types, Test.DejaFu.Conc
WillStopTest.DejaFu.Types, Test.DejaFu.Conc
WillStopSubconcurrencyTest.DejaFu.Types, Test.DejaFu.Conc
WillSubconcurrencyTest.DejaFu.Types, Test.DejaFu.Conc
WillTakeMVarTest.DejaFu.Types, Test.DejaFu.Conc
WillThreadDelayTest.DejaFu.Types, Test.DejaFu.Conc
WillThrowTest.DejaFu.Types, Test.DejaFu.Conc
WillThrowToTest.DejaFu.Types, Test.DejaFu.Conc
WillTryPutMVarTest.DejaFu.Types, Test.DejaFu.Conc
WillTryReadMVarTest.DejaFu.Types, Test.DejaFu.Conc
WillTryTakeMVarTest.DejaFu.Types, Test.DejaFu.Conc
WillWriteIORefTest.DejaFu.Types, Test.DejaFu.Conc
WillYieldTest.DejaFu.Types, Test.DejaFu.Conc
willYieldTest.DejaFu.SCT.Internal.DPOR
writeBarrierTest.DejaFu.Conc.Internal.Memory
WriteBuffer 
1 (Type/Class)Test.DejaFu.Conc.Internal.Memory
2 (Data Constructor)Test.DejaFu.Conc.Internal.Memory
writeImmediateTest.DejaFu.Conc.Internal.Memory
WriteIORefTest.DejaFu.Types, Test.DejaFu.Conc
XTest.DejaFu.Refinement, Test.DejaFu
YieldTest.DejaFu.Types, Test.DejaFu.Conc
_blockingTest.DejaFu.Conc.Internal.Threading
_boundTest.DejaFu.Conc.Internal.Threading
_boundTIdTest.DejaFu.Conc.Internal.Threading
_continuationTest.DejaFu.Conc.Internal.Threading
_debugFatalTest.DejaFu.Internal
_debugPrintTest.DejaFu.Internal
_debugShowTest.DejaFu.Internal
_discardTest.DejaFu.Internal
_earlyExitTest.DejaFu.Internal
_equalityTest.DejaFu.Internal
_failureMsgTest.DejaFu
_failuresTest.DejaFu
_getboundIOTest.DejaFu.Conc.Internal.Threading
_handlersTest.DejaFu.Conc.Internal.Threading
_ioridsTest.DejaFu.Internal
_maskingTest.DejaFu.Conc.Internal.Threading
_memtypeTest.DejaFu.Internal
_mvidsTest.DejaFu.Internal
_passTest.DejaFu
_runboundIOTest.DejaFu.Conc.Internal.Threading
_safeIOTest.DejaFu.Internal
_simplifyTest.DejaFu.Internal
_tidsTest.DejaFu.Internal
_tvidsTest.DejaFu.Internal
_wayTest.DejaFu.Internal
~=Test.DejaFu.Conc.Internal.Threading