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

Index - R

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