Copyright | (c) 2017 Michael Walker |
---|---|
License | MIT |
Maintainer | Michael Walker <mike@barrucadu.co.uk> |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Test.DejaFu.Defaults
Description
Default parameters for test execution.
Documentation
defaultWay :: Way #
A default way to execute concurrent programs: systematically
using defaultBounds
.
Since: 0.6.0.0
The default memory model: TotalStoreOrder
Since: 0.2.0.0
defaultBounds :: Bounds #
All bounds enabled, using their default values.
Since: 0.2.0.0
defaultPreemptionBound :: PreemptionBound #
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 #
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 #
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