[−][src]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. |