dejafu-2.1.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
ActionTest.DejaFu.Conc.Internal.Common
ActionTypeTest.DejaFu.Internal
addCommitThreadsTest.DejaFu.Conc.Internal.Memory
ADelayTest.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
ANewInvariantTest.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
ASupportsBoundThreadsTest.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
BasicTest.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu
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
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
BoundThreadTest.DejaFu.Types
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
canInterruptTest.DejaFu.Types
canInterruptLTest.DejaFu.Types
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
cCStateTest.DejaFu.Conc.Internal
checkTest.DejaFu.Refinement, Test.DejaFu
check'Test.DejaFu.Refinement, Test.DejaFu
checkForTest.DejaFu.Refinement, Test.DejaFu
checkInvariantTest.DejaFu.Conc.Internal
checkInvariantsTest.DejaFu.Conc.Internal
cIdSourceTest.DejaFu.Conc.Internal
cInvariantsTest.DejaFu.Conc.Internal
cNewInvariantsTest.DejaFu.Conc.Internal
CommitIORefTest.DejaFu.Types, Test.DejaFu.Conc
commitThreadIdTest.DejaFu.Conc.Internal.Memory
commitWriteTest.DejaFu.Conc.Internal.Memory
ConcIOTest.DejaFu.Conc, Test.DejaFu
concIOStateTest.DejaFu.Types
concMaskStateTest.DejaFu.Types
concMVStateTest.DejaFu.Types
ConcTTest.DejaFu.Conc, Test.DejaFu
ConcurrencyState 
1 (Type/Class)Test.DejaFu.Types
2 (Data Constructor)Test.DejaFu.Types
ConditionTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
Context 
1 (Type/Class)Test.DejaFu.Conc.Internal
2 (Data Constructor)Test.DejaFu.Conc.Internal
contextFromSnapshotTest.DejaFu.Conc.Internal.Program
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
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
defaultMemTypeTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
defaultPreemptionBoundTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
defaultRecordSnapshotTest.DejaFu.Conc.Internal.Program
defaultSettingsTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
defaultWayTest.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu
dejafuTest.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
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
doInvariantTest.DejaFu.Conc.Internal
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
efromLeftTest.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
ErrorTest.DejaFu.Types
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
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
forkBoundThreadTest.DejaFu.Types
ForkOSTest.DejaFu.Types, Test.DejaFu.Conc
fromIdTest.DejaFu.SCT.Internal
fromSnapContextTest.DejaFu.Conc.Internal.Program
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
IActionTest.DejaFu.Conc.Internal.Common
icActiveTest.DejaFu.Conc.Internal
ICatchTest.DejaFu.Conc.Internal.Common
icBlockedTest.DejaFu.Conc.Internal
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
IInspectIORefTest.DejaFu.Conc.Internal.Common
IInspectMVarTest.DejaFu.Conc.Internal.Common
IInspectTVarTest.DejaFu.Conc.Internal.Common
incorporateBacktrackStepsTest.DejaFu.SCT.Internal.DPOR
incorporateTraceTest.DejaFu.SCT.Internal.DPOR
IncrementalBoundFuncTest.DejaFu.SCT.Internal.DPOR
independentTest.DejaFu.SCT.Internal.DPOR
initialCStateTest.DejaFu.Internal
initialDPORSchedStateTest.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
inspectIORefTest.DejaFu.Conc, Test.DejaFu
inspectMVarTest.DejaFu.Conc, Test.DejaFu
inspectTVarTest.DejaFu.Conc, Test.DejaFu
interfereTest.DejaFu.Refinement, Test.DejaFu
interruptibleTest.DejaFu.Conc.Internal.Threading
Invariant 
1 (Type/Class)Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Conc.Internal.Common
InvariantContext 
1 (Type/Class)Test.DejaFu.Conc.Internal
2 (Data Constructor)Test.DejaFu.Conc.Internal
InvariantFailureTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
IOBoundThread 
1 (Type/Class)Test.DejaFu.Types
2 (Data Constructor)Test.DejaFu.Types
iobtKillBoundThreadTest.DejaFu.Types
iobtRunInBoundThreadTest.DejaFu.Types
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.Types
isCommitTest.DejaFu.Internal
IsCurrentThreadBoundTest.DejaFu.Types, Test.DejaFu.Conc
isDeadlockTest.DejaFu.Types, Test.DejaFu
isFullTest.DejaFu.Types
isInvariantFailureTest.DejaFu.Types, Test.DejaFu
isMaskedInterruptibleTest.DejaFu.Types
isMaskedUninterruptibleTest.DejaFu.Types
isSchedulerErrorTest.DejaFu.Types
IStopTest.DejaFu.Conc.Internal.Common
isUncaughtExceptionTest.DejaFu.Types, Test.DejaFu
IThrowTest.DejaFu.Conc.Internal.Common
killTest.DejaFu.Conc.Internal.Threading
killAllThreadsTest.DejaFu.Conc.Internal
killBoundThreadTest.DejaFu.Types
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
llengthBoundTest.DejaFu.Settings, Test.DejaFu.SCT, 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
lshowAbortsTest.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 (Data Constructor)Test.DejaFu.Conc.Internal.Common
2 (Type/Class)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
MonadDejaFuTest.DejaFu.Types
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
newRefTest.DejaFu.Types
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.Types
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
ProgramTest.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, 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
readIORefGlobalTest.DejaFu.Conc.Internal.Memory
readIORefPrimTest.DejaFu.Conc.Internal.Memory
ReadMVarTest.DejaFu.Types, Test.DejaFu.Conc
readRefTest.DejaFu.Types
recordSnapshotTest.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc
RefTest.DejaFu.Types
RefinementPropertyTest.DejaFu.Refinement, Test.DejaFu
refinesTest.DejaFu.Refinement, Test.DejaFu
RegisterInvariantTest.DejaFu.Types, Test.DejaFu.Conc
registerInvariantTest.DejaFu.Conc, 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
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
runConcurrencyWithSnapshotTest.DejaFu.Conc.Internal
runConcurrentTest.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc
runInBoundThreadTest.DejaFu.Types
runInvariantTest.DejaFu.Conc.Internal.Common
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
runSCTWithSettingsTest.DejaFu.SCT
runSCTWithSettings'Test.DejaFu.SCT
runSnapshotTest.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc
runTestTest.DejaFu
runTestWayTest.DejaFu
runTestWithSettingsTest.DejaFu
runThreadsTest.DejaFu.Conc.Internal
runTransactionTest.DejaFu.Conc.Internal.STM
SCatchTest.DejaFu.Conc.Internal.STM
schedBoundKillTest.DejaFu.SCT.Internal.DPOR
schedBPointsTest.DejaFu.SCT.Internal.DPOR
schedBStateTest.DejaFu.SCT.Internal.DPOR
schedCStateTest.DejaFu.SCT.Internal.DPOR
schedGenTest.DejaFu.SCT.Internal.Weighted
schedIgnoreTest.DejaFu.SCT.Internal.DPOR
schedLengthBoundTest.DejaFu.SCT.Internal.Weighted
schedPrefixTest.DejaFu.SCT.Internal.DPOR
schedSleepTest.DejaFu.SCT.Internal.DPOR
ScheduledBlockedThreadTest.DejaFu.Types
ScheduledMissingThreadTest.DejaFu.Types
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
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
showConditionTest.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
simpleRunConcurrencyTest.DejaFu.Conc.Internal.Program
SimpleSnapshot 
1 (Type/Class)Test.DejaFu.Conc.Internal.Program
2 (Data Constructor)Test.DejaFu.Conc.Internal.Program
simplestsByTest.DejaFu.Utils
simplifyTest.DejaFu.SCT.Internal
simplifyActionTest.DejaFu.Internal
simplifyExecutionTest.DejaFu.SCT.Internal
simplifyLookaheadTest.DejaFu.Internal
snapContextTest.DejaFu.Conc.Internal.Program
snapNextTest.DejaFu.Conc.Internal.Program
snapRestoreTest.DejaFu.Conc.Internal.Program
SnapshotTest.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc
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
stepInvariantTest.DejaFu.Conc.Internal
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
StopTest.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
SucceededTest.DejaFu.Conc.Internal
SuccessTest.DejaFu.Conc.Internal.STM
successfulTest.DejaFu
SupportsBoundThreadsTest.DejaFu.Types, Test.DejaFu.Conc
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
threadsFromSnapshotTest.DejaFu.Conc.Internal.Program
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
unblockInvariantsTest.DejaFu.Conc.Internal
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
updateCStateTest.DejaFu.Internal
updateIOStateTest.DejaFu.Internal
updateMaskStateTest.DejaFu.Internal
updateMVStateTest.DejaFu.Internal
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
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
WillRegisterInvariantTest.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
WillSupportsBoundThreadsTest.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
WithSetup 
1 (Type/Class)Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Conc.Internal.Common
withSetupTest.DejaFu.Conc, Test.DejaFu
WithSetupAndTeardown 
1 (Type/Class)Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Conc.Internal.Common
withSetupAndTeardownTest.DejaFu.Conc, Test.DejaFu
withTeardownTest.DejaFu.Conc, Test.DejaFu
wrapTest.DejaFu.Conc.Internal.Program
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
writeRefTest.DejaFu.Types
WSTest.DejaFu.Conc.Internal.Program
WSATTest.DejaFu.Conc.Internal.Program
wsProgramTest.DejaFu.Conc.Internal.Common
wsSetupTest.DejaFu.Conc.Internal.Common
wstProgramTest.DejaFu.Conc.Internal.Common
wstSetupTest.DejaFu.Conc.Internal.Common
wstTeardownTest.DejaFu.Conc.Internal.Common
XTest.DejaFu.Refinement, Test.DejaFu
YieldTest.DejaFu.Types, Test.DejaFu.Conc
_blockingTest.DejaFu.Conc.Internal.Threading
_boundTest.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
_handlersTest.DejaFu.Conc.Internal.Threading
_ioridsTest.DejaFu.Internal
_lengthBoundTest.DejaFu.Internal
_maskingTest.DejaFu.Conc.Internal.Threading
_memtypeTest.DejaFu.Internal
_mvidsTest.DejaFu.Internal
_passTest.DejaFu
_safeIOTest.DejaFu.Internal
_showAbortsTest.DejaFu.Internal
_simplifyTest.DejaFu.Internal
_tidsTest.DejaFu.Internal
_tvidsTest.DejaFu.Internal
_wayTest.DejaFu.Internal
~=Test.DejaFu.Conc.Internal.Threading