dejafu-0.9.1.2: Systematic testing for Haskell concurrency.

Copyright(c) 2017 Michael Walker
LicenseMIT
MaintainerMichael Walker <mike@barrucadu.co.uk>
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Test.DejaFu.Defaults

Description

Default parameters for test execution.

Synopsis

Documentation

defaultWay :: Way Source #

A default way to execute concurrent programs: systematically using defaultBounds.

Since: 0.6.0.0

defaultDiscarder :: Either Failure a -> Maybe Discard Source #

Do not discard any results.

Since: 0.7.1.0

defaultMemType :: MemType Source #

The default memory model: TotalStoreOrder

Since: 0.2.0.0

defaultBounds :: Bounds Source #

All bounds enabled, using their default values.

Since: 0.2.0.0

defaultPreemptionBound :: PreemptionBound Source #

A sensible default preemption bound: 2.

See Concurrency Testing Using Schedule Bounding: an Empirical Study, P. Thomson, A. F. Donaldson, A. Betts for justification.

Since: 0.2.0.0

defaultFairBound :: FairBound Source #

A sensible default fair bound: 5.

This comes from playing around myself, but there is probably a better default.

Since: 0.2.0.0

defaultLengthBound :: LengthBound Source #

A sensible default length bound: 250.

Based on the assumption that anything which executes for much longer (or even this long) will take ages to test.

Since: 0.2.0.0