Test.DPOR.Schedule
type Scheduler tid action lookahead s
data Decision tid
tidOf
decisionOf
data NonEmpty a
randomSched
roundRobinSched
randomSchedNP
roundRobinSchedNP
makeNonPreemptive