PostconditionViolationException

Rasuvaeff\PropertyTesting\StateMachine\PostconditionViolationException

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

Extends: RuntimeException

Implements: Throwable, Stringable, PropertyTestingException

Thrown by StateMachine::check() when a command's Command::postCondition() returns false.

Carries the executed trace (command labels up to and including the failing one), the failing command, and the pre-state model and observed result, so the property runner surfaces exactly which step of the sequence broke.

Constructor

__construct(
    list<string> $trace,
    int $step,
    StateMachine\Command $command,
    mixed $model,
    mixed $result,
)

Parameter	Type	Default	Description
$trace	list<string>	required	Labels of the commands executed up to and including the failing one.
$step	int	required
$command	StateMachine\Command	required
$model	mixed	required
$result	mixed	required