Test.DejaFu.SCT

Running Concurrent Programs

data Way

systematically

randomly

uniformly

swarmy

runSCT

runSCT'

resultsSet

resultsSet'

Bounded Partial-order Reduction

data Bounds

noBounds

sctBound

Pre-emption Bounding

data PreemptionBound

Fair Bounding

data FairBound

Length Bounding

data LengthBound

Random Scheduling

sctUniformRandom

sctWeightedRandom