verbose -package:shake
Prints out the generated test case every time the property is tested.
Only variables quantified over
inside the
verbose are
printed.
Note: for technical reasons, the test case is printed out
after
the property is tested. To debug a property that goes into an infinite
loop, use
within to add a timeout instead.
Be more verbose about what's going on.
0 = silent, 1(def) = startup banner
Whether to print extra info.
Be more verbose about what's going on
Return a builder that sets the options to be verbose. A verbose
description doesn't eliminate unnecessary information. The only caveat
being that month information is only ever displayed if it isn't "*".
Provide more details in the report, especially the standard deviation,
outlier variance, R-square estimate and an annotation to indicate the
actual method used when using
MinEstimator are reported.
0 == none (default), 1 == inits, 2 == cmds done, 3 == complete log
whether to show detailed results
Intended for debug runs, but without flooding the user with internal
messages
The Int would indicate, for example, the desired level of verbosity.
Verbose output
Note that if a test fails (and we were not expecting failure) we show
the logs independent of verbosity.
Print anything that comes to mind.