dejafu-2.4.0.0: A library for unit-testing concurrent programs.

Copyright (c) 2015--2019 Michael Walker MIT Michael Walker experimental portable None Haskell2010

Test.DejaFu.SCT

Description

Systematic testing for concurrent computations.

Synopsis

# Running Concurrent Programs

Arguments

 :: MonadDejaFu n => Way How to run the concurrent program. -> MemType The memory model to use for non-synchronised IORef operations. -> Program pty n a The computation to run many times. -> n [(Either Condition a, Trace)]

Explore possible executions of a concurrent program according to the given Way.

The exact executions tried, and the order in which results are found, is unspecified and may change between releases.

Since: 2.1.0.0

Arguments

 :: (MonadDejaFu n, NFData a) => Way How to run the concurrent program. -> MemType The memory model to use for non-synchronised IORef operations. -> Program pty n a The computation to run many times. -> n [(Either Condition a, Trace)]

A strict variant of runSCT.

Demanding the result of this will force it to normal form, which may be more efficient in some situations.

The exact executions tried, and the order in which results are found, is unspecified and may change between releases.

Since: 2.1.0.0

Arguments

 :: (MonadDejaFu n, Ord a) => Way How to run the concurrent program. -> MemType The memory model to use for non-synchronised IORef operations. -> Program pty n a The computation to run many times. -> n (Set (Either Condition a))

Return the set of results of a concurrent program.

Since: 2.1.0.0

Arguments

 :: (MonadDejaFu n, Ord a, NFData a) => Way How to run the concurrent program. -> MemType The memory model to use for non-synchronised IORef operations. -> Program pty n a The computation to run many times. -> n (Set (Either Condition a))

A strict variant of resultsSet.

Demanding the result of this will force it to normal form, which may be more efficient in some situations.

Since: 2.1.0.0

## Configuration

Arguments

 :: MonadDejaFu n => Settings n a The SCT settings. -> Program pty n a The computation to run many times. -> n [(Either Condition a, Trace)]

A variant of runSCT which takes a Settings record.

The exact executions tried, and the order in which results are found, is unspecified and may change between releases.

Since: 2.1.0.0

Arguments

 :: (MonadDejaFu n, NFData a) => Settings n a The SCT settings. -> Program pty n a The computation to run many times. -> n [(Either Condition a, Trace)]

A strict variant of runSCTWithSettings.

Demanding the result of this will force it to normal form, which may be more efficient in some situations.

The exact executions tried, and the order in which results are found, is unspecified and may change between releases.

Since: 2.1.0.0

Arguments

 :: (MonadDejaFu n, Ord a) => Settings n a The SCT settings. -> Program pty n a The computation to run many times. -> n (Set (Either Condition a))

A variant of resultsSet which takes a Settings record.

Since: 2.1.0.0

Arguments

 :: (MonadDejaFu n, Ord a, NFData a) => Settings n a The SCT settings. -> Program pty n a The computation to run many times. -> n (Set (Either Condition a))

A strict variant of resultsSetWithSettings.

Demanding the result of this will force it to normal form, which may be more efficient in some situations.

Since: 2.1.0.0