Test.DejaFu.SCT.Internal

Dynamic partial-order reduction

data DPOR

data BacktrackStep

initialState

findSchedulePrefix

incorporateTrace

findBacktrackSteps

incorporateBacktrackSteps

DPOR scheduler

data DPORSchedState

initialDPORSchedState

type BoundFunc

type BacktrackFunc

backtrackAt

dporSched

data RandSchedState g

initialRandSchedState

randSched

dependent

dependent'

dependentActions

data DepState

initialDepState

updateDepState

updateCRState

updateMaskState

isBuffered

canInterrupt

canInterruptL

isMaskedInterruptible

isMaskedUninterruptible

Utilities

initialDPORThread

didYield

willYield

killsDaemons

err

concatPartition