Module dicetest::hints

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.

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.