Test.DPOR

Bounded dynamic partial-order reduction

dpor

simpleDPOR

data DPOR tid action

Backtracking

type BacktrackFunc tid action lookahead s

data BacktrackStep tid action lookahead state

backtrackAt

Bounding

type BoundFunc tid action lookahead

(&+&)

trueBound

Preemption

data PreemptionBound

defaultPreemptionBound

preempBound

preempBacktrack

preempCount

Fair

data FairBound

defaultFairBound

fairBound

fairBacktrack

yieldCount

maxYieldCountDiff

Length

data LengthBound

defaultLengthBound

lenBound

lenBacktrack

Random approaches

Scheduling & execution traces

type DPORScheduler tid action lookahead s

data SchedState tid action lookahead s

type Trace tid action lookahead