Interface HookPropertyResult<E>

Result of propertyHook: the first shrunk counterexample, if any.

interface HookPropertyResult<E> {
    counterexample?: E;
    failedInvariant?: string;
    iterations: number;
    passed: boolean;
}

Type Parameters

E

Index

Properties

counterexample? failedInvariant? iterations passed

Properties

`Optional` `Readonly`counterexample

counterexample?: E

The (shrunk) event that broke an invariant — present iff !passed.

`Optional` `Readonly`failedInvariant

failedInvariant?: string

Which invariant failed — present iff !passed.

`Readonly`iterations

iterations: number

`Readonly`passed

passed: boolean