Interface: RunDetailsSuccess<Ts>
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:78
Run reported as success
Refer to RunDetailsCommon for more details
Remarks
Since 1.25.0
Extends
RunDetailsCommon<Ts>
Type Parameters
| Type Parameter |
|---|
Ts |
Properties
counterexample
counterexample:
null
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:81
In case of failure: the counterexample contains the minimal failing case (first failure after shrinking)
Remarks
Since 0.0.7
Overrides
RunDetailsCommon.counterexample
counterexamplePath
counterexamplePath:
null
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:82
In case of failure: path to the counterexample
For replay purposes, it can be forced in assert, check, sample and statistics using Parameters
Remarks
Since 1.0.0
Overrides
RunDetailsCommon.counterexamplePath
errorInstance
errorInstance:
null
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:83
In case of failure: it contains the error that has been thrown if any
Remarks
Since 3.0.0
Overrides
RunDetailsCommon.errorInstance
executionSummary
executionSummary:
ExecutionTree<Ts>[]
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:172
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:
- Verbose: Only failures
- VeryVerbose: Failures, Successes and Skipped
Remarks
Since 1.9.0
Inherited from
RunDetailsCommon.executionSummary
failed
failed:
false
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:79
Does the property failed during the execution of check?
Remarks
Since 0.0.7
Overrides
failures
failures:
Ts[]
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:158
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
Remarks
Since 1.1.0
Inherited from
interrupted
interrupted:
boolean
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:80
Was the execution interrupted?
Remarks
Since 1.19.0
Overrides
numRuns
numRuns:
number
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:110
Number of runs
- In case of failed property: Number of runs up to the first failure (including the failure run)
- Otherwise: Number of successful executions
Remarks
Since 1.0.0
Inherited from
numShrinks
numShrinks:
number
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:124
Number of shrinks required to get to the minimal failing case (aka counterexample)
Remarks
Since 1.0.0
Inherited from
numSkips
numSkips:
number
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:119
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.
Remarks
Since 1.3.0
Inherited from
runConfiguration
runConfiguration:
Parameters<Ts>
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:186
Configuration of the run
It includes both local parameters set on check or assert and global ones specified using configureGlobal
Remarks
Since 1.25.0
Inherited from
RunDetailsCommon.runConfiguration
seed
seed:
number
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:131
Seed that have been used by the run
It can be forced in assert, check, sample and statistics using Parameters
Remarks
Since 0.0.7
Inherited from
verbose
verbose:
VerbosityLevel
Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:177
Verbosity level required by the user
Remarks
Since 1.9.0