DefaultMaxDepth is the default maximum tree depth if it is unspecified.

PathTerminated is panicked by Scheduler.Amb to indicate that Run should continue to the next path.

ErrNondeterminism is the error used by deterministic strategies to indicate that the strategy detected that the application behaved non-deterministically.

Scheduler uses a Strategy to execute a function repeatedly at different points in a space of ambiguous values.

StrategyDFS explores the ambiguous value space in depth-first order up to MaxDepth.

StrategyRandom explores the ambiguous value space randomly.

A Strategy describes how to explore a space of ambiguous values.