Test.DPOR.Internal

Dynamic partial-order reduction

data DPOR tid action

data BacktrackStep tid action lookahead state

initialState

findSchedulePrefix

type Trace tid action lookahead

incorporateTrace

findBacktrackSteps

incorporateBacktrackSteps

DPOR scheduler

type DPORScheduler tid action lookahead s

data SchedState tid action lookahead s

initialSchedState

type BoundFunc tid action lookahead

trueBound

type BacktrackFunc tid action lookahead s

backtrackAt

dporSched

Utilities

initialDPORThread

toDot

toDotFiltered

err