Expand description
Hints help to analyze a single test run, mostly the counterexample.
You can put context information like local variables
inside of hints. Use it to reveal what test data were generated or
which branches were taken. Hints must be enabled with the feature
hints.
Structs§
- Hint
- A single hint that contains context information.
- Hints
- A collection of hints.
- Section
- Represents a currently active indent.
Functions§
- add
- If hints are enabled, this function evaluates and adds the given hint. Otherwise this function is a noop.
- collect
- Returns all hints that were added during the evaluation of the given function.
- enabled
- Returns if hints are currently enabled.
- indent
- Increases the indent of all following added hints.
- unindent
- Decreases the indent of all following added hints.