In case of failure: the counterexample contains the minimal failing case (first failure after shrinking)
In case of failure: path to the counterexample
For replay purposes, it can be forced in assert, check, sample and statistics using Parameters
In case of failure: it contains the reason of the failure
In case of failure: it contains the error that has been thrown if any
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:
Does the property failed during the execution of check?
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
Was the execution interrupted?
Number of runs
Number of shrinks required to get to the minimal failing case (aka counterexample)
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.
Configuration of the run
It includes both local parameters set on check or assert and global ones specified using configureGlobal
Seed that have been used by the run
It can be forced in assert, check, sample and statistics using Parameters
Verbosity level required by the user
Run reported as success
Refer to RunDetailsCommon for more details
Remarks
Since 1.25.0