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

Index - S

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