Expand description
A run described as a value.
Everything the simulator can be told to do imperatively — commands, crashes, partitions,
session breaks — can also be held in a Scenario: a configuration with its seed, a
membership, a list of timed Steps, and a horizon to run to. A description can be compared,
printed, taken apart, and above all made smaller, which is what crate::shrink() does with
it.
This does not replace the imperative form and is not meant to. A test that provokes one named condition reads better as a sequence of calls. Scenarios are for the searching kind, where the failing input was discovered rather than chosen, and the useful next question is “how much of this mattered?”
Structs§
- Scenario
- A whole run, as data.
Enums§
- Step
- One thing done to a run from outside it.