Run reported as failed because it took too long and thus has been interrupted

Refer to RunDetailsCommon for more details

Remarks

Since 1.25.0

Type Parameters

  • Ts

Hierarchy

Properties

counterexample: null

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

Remarks

Since 0.0.7

counterexamplePath: null

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

error: null

In case of failure: it contains the reason of the failure

Remarks

Since 0.0.7

errorInstance: null

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

Remarks

Since 3.0.0

executionSummary: ExecutionTree<Ts>[]

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: true

Does the property failed during the execution of check?

Remarks

Since 0.0.7

failures: Ts[]

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: true

Was the execution interrupted?

Remarks

Since 1.19.0

numRuns: number

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: number

Number of shrinks required to get to the minimal failing case (aka counterexample)

Remarks

Since 1.0.0

numSkips: number

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: Parameters<Ts>

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: number

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

Verbosity level required by the user

Remarks

Since 1.9.0

Generated using TypeDoc