property-testing

Appearance

Falsified ​

Rasuvaeff\PropertyTesting\Runner\Falsified

Class — Package: property-testing-core — Source — Version: v1.0.0-1-g88fdee2

Implements: Runner\PropertyResult

A random run falsified the property; the counterexample is shrunk.

Constructor ​

php
__construct(
    PropertyViolationException $exception,
)
ParameterTypeDefaultDescription
$exceptionPropertyViolationExceptionrequired

Methods ​

counterExample() ​

php
counterExample(): CounterExample

failure() ​

php
failure(): Throwable

The engine exception describing the failure — the same type and message the package has always reported (PropertyViolationException for a falsification, and so on). Null for a pass.

Documentation inherited from Runner\PropertyResult.