PostconditionViolation

Rasuvaeff\PropertyTesting\StateMachine\PostconditionViolation

Class — Source — Extends: RuntimeException

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.

Properties

Property	Type	Readonly
trace	array	yes
step	int	yes
command	StateMachine\Command	yes
model	mixed	yes
result	mixed	yes