dejafu-0.9.1.0: Systematic testing for Haskell concurrency.

Index - S

SCatchTest.DejaFu.STM.Internal
schedBoundKillTest.DejaFu.SCT.Internal
schedBPointsTest.DejaFu.SCT.Internal
schedBStateTest.DejaFu.SCT.Internal
schedDepStateTest.DejaFu.SCT.Internal
schedGenTest.DejaFu.SCT.Internal
schedIgnoreTest.DejaFu.SCT.Internal
schedPrefixTest.DejaFu.SCT.Internal
schedSleepTest.DejaFu.SCT.Internal
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
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.Common, Test.DejaFu.Conc, Test.DejaFu
SetMaskingTest.DejaFu.Common, Test.DejaFu.Conc
SetNumCapabilitiesTest.DejaFu.Common, Test.DejaFu.Conc
showFailTest.DejaFu.Common, Test.DejaFu.Conc
showTraceTest.DejaFu.Common, Test.DejaFu.Conc
Sig 
1 (Type/Class)Test.DejaFu.Refinement, Test.DejaFu
2 (Data Constructor)Test.DejaFu.Refinement, Test.DejaFu
simplifyActionTest.DejaFu.Common
simplifyLookaheadTest.DejaFu.Common
SingleTest.DejaFu.Conc.Internal
SNewTest.DejaFu.STM.Internal
somewhereTrueTest.DejaFu
SOrElseTest.DejaFu.STM.Internal
SReadTest.DejaFu.STM.Internal
SRetryTest.DejaFu.STM.Internal
SStopTest.DejaFu.STM.Internal
StartTest.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc
stepThreadTest.DejaFu.Conc.Internal
stepTransTest.DejaFu.STM.Internal
SThrowTest.DejaFu.STM.Internal
STMTest.DejaFu.Common, Test.DejaFu.Conc
STMActionTest.DejaFu.STM.Internal
STMDeadlockTest.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu
STMIOTest.DejaFu.STM
STMLikeTest.DejaFu.STM
STMSTTest.DejaFu.STM
StopTest.DejaFu.Common, Test.DejaFu.Conc
StopSubconcurrencyTest.DejaFu.Common, Test.DejaFu.Conc
strictlyRefinesTest.DejaFu.Refinement, Test.DejaFu
SubCTest.DejaFu.Conc.Internal
SubconcurrencyTest.DejaFu.Common, Test.DejaFu.Conc
subconcurrencyTest.DejaFu.Conc
SuccessTest.DejaFu.STM.Internal, Test.DejaFu.STM
swarmyTest.DejaFu.SCT, Test.DejaFu
SwitchToTest.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc
SWriteTest.DejaFu.STM.Internal
SynchronisedModifyTest.DejaFu.Common
SynchronisedOtherTest.DejaFu.Common
SynchronisedReadTest.DejaFu.Common
SynchronisedWriteTest.DejaFu.Common
synchronisesTest.DejaFu.Common
systematicallyTest.DejaFu.SCT, Test.DejaFu