Test.DPOR
data DPOR tid action
type BacktrackFunc tid action lookahead s
data BacktrackStep tid action lookahead state
type BoundFunc tid action lookahead
data PreemptionBound
data FairBound
data LengthBound
type DPORScheduler tid action lookahead s
data SchedState tid action lookahead s
type Trace tid action lookahead