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

Index - C

canInterruptTest.DejaFu.Types
canInterruptLTest.DejaFu.Types
CasIORefTest.DejaFu.Types, Test.DejaFu.Conc
casIORefTest.DejaFu.Conc.Internal.Memory
CatchingTest.DejaFu.Types, Test.DejaFu.Conc
catchingTest.DejaFu.Conc.Internal.Threading
cCapsTest.DejaFu.Conc.Internal
cCStateTest.DejaFu.Conc.Internal
checkTest.DejaFu.Refinement, Test.DejaFu
check'Test.DejaFu.Refinement, Test.DejaFu
checkForTest.DejaFu.Refinement, Test.DejaFu
checkInvariantTest.DejaFu.Conc.Internal
checkInvariantsTest.DejaFu.Conc.Internal
cIdSourceTest.DejaFu.Conc.Internal
cInvariantsTest.DejaFu.Conc.Internal
cNewInvariantsTest.DejaFu.Conc.Internal
CommitIORefTest.DejaFu.Types, Test.DejaFu.Conc
commitThreadIdTest.DejaFu.Conc.Internal.Memory
commitWriteTest.DejaFu.Conc.Internal.Memory
ConcIOTest.DejaFu.Conc, Test.DejaFu
concIOStateTest.DejaFu.Types
concMaskStateTest.DejaFu.Types
concMVStateTest.DejaFu.Types
ConcTTest.DejaFu.Conc, Test.DejaFu
ConcurrencyState 
1 (Type/Class)Test.DejaFu.Types
2 (Data Constructor)Test.DejaFu.Types
ConditionTest.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu
Context 
1 (Type/Class)Test.DejaFu.Conc.Internal
2 (Data Constructor)Test.DejaFu.Conc.Internal
contextFromSnapshotTest.DejaFu.Conc.Internal.Program
ContinueTest.DejaFu.Types, Test.DejaFu.Conc
CounterExampleTest.DejaFu.Refinement, Test.DejaFu
counterExamplesTest.DejaFu.Refinement, Test.DejaFu
CResult 
1 (Type/Class)Test.DejaFu.Conc.Internal
2 (Data Constructor)Test.DejaFu.Conc.Internal
cSchedStateTest.DejaFu.Conc.Internal
cThreadsTest.DejaFu.Conc.Internal
cWriteBufTest.DejaFu.Conc.Internal