SCatch | Test.DejaFu.STM.Internal |
schedBoundKill | Test.DejaFu.SCT.Internal |
schedBPoints | Test.DejaFu.SCT.Internal |
schedDepState | Test.DejaFu.SCT.Internal |
schedGen | Test.DejaFu.SCT.Internal |
schedIgnore | Test.DejaFu.SCT.Internal |
schedPrefix | Test.DejaFu.SCT.Internal |
schedSleep | Test.DejaFu.SCT.Internal |
Scheduler | Test.DejaFu.Schedule, Test.DejaFu.Conc |
schedWeights | Test.DejaFu.SCT.Internal |
sctBound | Test.DejaFu.SCT |
sctFairBound | Test.DejaFu.SCT |
sctLengthBound | Test.DejaFu.SCT |
sctPreBound | Test.DejaFu.SCT |
sctRandom | Test.DejaFu.SCT |
seeMVar | Test.DejaFu.Conc.Internal.Memory |
SeqTrace | Test.DejaFu.Conc.Internal |
SequentialConsistency | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
SetMasking | Test.DejaFu.Common, Test.DejaFu.Conc |
SetNumCapabilities | Test.DejaFu.Common, Test.DejaFu.Conc |
showFail | Test.DejaFu.Common, Test.DejaFu.Conc |
showTrace | Test.DejaFu.Common, Test.DejaFu.Conc |
simplifyAction | Test.DejaFu.Common |
simplifyLookahead | Test.DejaFu.Common |
SNew | Test.DejaFu.STM.Internal |
somewhereTrue | Test.DejaFu |
SOrElse | Test.DejaFu.STM.Internal |
SRead | Test.DejaFu.STM.Internal |
SRetry | Test.DejaFu.STM.Internal |
SStop | Test.DejaFu.STM.Internal |
Start | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
stepThread | Test.DejaFu.Conc.Internal |
stepTrans | Test.DejaFu.STM.Internal |
SThrow | Test.DejaFu.STM.Internal |
STM | Test.DejaFu.Common, Test.DejaFu.Conc |
STMAction | Test.DejaFu.STM.Internal |
STMDeadlock | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
STMIO | Test.DejaFu.STM |
STMLike | Test.DejaFu.STM |
STMST | Test.DejaFu.STM |
Stop | Test.DejaFu.Common, Test.DejaFu.Conc |
StopSubconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
Subconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
subconcurrency | Test.DejaFu.Conc |
Success | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
SwitchTo | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
SWrite | Test.DejaFu.STM.Internal |
SynchronisedModify | Test.DejaFu.Common |
SynchronisedOther | Test.DejaFu.Common |
SynchronisedRead | Test.DejaFu.Common |
SynchronisedWrite | Test.DejaFu.Common |
synchronises | Test.DejaFu.Common |
Systematically | Test.DejaFu.SCT, Test.DejaFu |