Execution summary of the run
Traces the origin of each value encountered during the test and its execution status. Can help to diagnose shrinking issues.
You must enable verbose with at least Verbosity.Verbose
in Parameters
in order to have values in it:
Since 1.9.0
List all failures that have occurred during the run
You must enable verbose with at least Verbosity.Verbose
in Parameters
in order to have values in it
Since 1.1.0
Number of runs
Since 1.0.0
Number of shrinks required to get to the minimal failing case (aka counterexample)
Since 1.0.0
Number of skipped entries due to failed pre-condition
As numRuns
it only takes into account the skipped values that occured before the first failure.
Refer to pre to add such pre-conditions.
Since 1.3.0
Configuration of the run
It includes both local parameters set on check or assert and global ones specified using configureGlobal
Since 1.25.0
Seed that have been used by the run
It can be forced in assert, check, sample and statistics using Parameters
Since 0.0.7
Verbosity level required by the user
Since 1.9.0
Since 2.17.0
Format output of check using the default error reporting of assert
Produce a string containing the formated error in case of failed run, undefined otherwise.
Since 2.17.0
Format output of check using the default error reporting of assert
Produce a string containing the formated error in case of failed run, undefined otherwise.
Since 2.17.0
Generated using TypeDoc
Format output of check using the default error reporting of assert
Produce a string containing the formated error in case of failed run, undefined otherwise.