Test.DejaFu

Testing

autocheck

dejafu

dejafus

autocheckIO

dejafuIO

dejafusIO

Testing with different settings

data Way

defaultWay

systematically

randomly

uniformly

swarmy

autocheckWay

autocheckWayIO

dejafuWay

dejafuWayIO

dejafusWay

dejafusWayIO

Memory Models

data MemType

defaultMemType

Schedule Bounding

data Bounds

defaultBounds

noBounds

data PreemptionBound

defaultPreemptionBound

data FairBound

defaultFairBound

data LengthBound

defaultLengthBound

Results

data Result a

data Failure

runTest

runTestWay

runTestM

runTestWayM

Predicates

type Predicate a

representative

abortsNever

abortsAlways

abortsSometimes

deadlocksNever

deadlocksAlways

deadlocksSometimes

exceptionsNever

exceptionsAlways

exceptionsSometimes

alwaysSame

notAlwaysSame

alwaysTrue

alwaysTrue2

somewhereTrue

gives

gives'

Refinement property testing