| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Generators.NEAT.Spec
Description
This file contains the tests and some associated machinery but not the generators.
Synopsis
- tests :: DefaultFun ())
- newtype GenDepth = GenDepth {
- unGenDepth :: TestTree #
Options for parallel conjunction strategies. Only matters for
predicates using the Cool data type instead of Bool.
Constructors
| D | Sequential |
| O | Optimal Short-circuiting |
| F | Parallel (fair) |
| OF | Optimal Short-circuiting and fairness |
| OS | Optimal Short-circuiting and choice-subset detection |
| OSF | Subset choice short-circuiting |
Instances
Instances
| search' and then generate one big test
that applies the given test to each of them. packAssertion :: DefaultFun ()) # |