Skip to main content

Interface: RunDetailsCommon<Ts>

Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:91

Shared part between variants of RunDetails

Remarks​

Since 2.2.0

Extended by​

Type Parameters​

Type Parameter
Ts

Properties​

counterexample​

counterexample: Ts | null

Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:136

In case of failure: the counterexample contains the minimal failing case (first failure after shrinking)

Remarks​

Since 0.0.7

counterexamplePath​

counterexamplePath: string | null

Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:149

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

errorInstance​

errorInstance: unknown

Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:141

In case of failure: it contains the error that has been thrown if any

Remarks​

Since 3.0.0

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

failed​

failed: boolean

Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:96

Does the property failed during the execution of check?

Remarks​

Since 0.0.7

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

interrupted​

interrupted: boolean

Defined in: packages/fast-check/src/check/runner/reporter/RunDetails.ts:101

Was the execution interrupted?

Remarks​

Since 1.19.0

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

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

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

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

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

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