verbose is:exact
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