dejafu-0.5.0.0: Systematic testing for Haskell concurrency.

Index - S

SCatchTest.DejaFu.STM.Internal
schedBoundKillTest.DejaFu.SCT.Internal
schedBPointsTest.DejaFu.SCT.Internal
schedDepStateTest.DejaFu.SCT.Internal
schedGenTest.DejaFu.SCT.Internal
schedIgnoreTest.DejaFu.SCT.Internal
schedPrefixTest.DejaFu.SCT.Internal
schedSleepTest.DejaFu.SCT.Internal
SchedulerTest.DejaFu.Schedule, Test.DejaFu.Conc
schedWeightsTest.DejaFu.SCT.Internal
sctBoundTest.DejaFu.SCT
sctFairBoundTest.DejaFu.SCT
sctLengthBoundTest.DejaFu.SCT
sctPreBoundTest.DejaFu.SCT
sctRandomTest.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
simplifyActionTest.DejaFu.Common
simplifyLookaheadTest.DejaFu.Common
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
SubconcurrencyTest.DejaFu.Common, Test.DejaFu.Conc
subconcurrencyTest.DejaFu.Conc
SuccessTest.DejaFu.STM.Internal, Test.DejaFu.STM
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