CommandSequence

Rasuvaeff\PropertyTesting\StateMachine\CommandSequence

Class — Source

A generated, valid-by-construction sequence of Commands together with the initial model it was generated against.

This is the value a \Rasuvaeff\PropertyTesting\Gen::commands() arbitrary produces; the property body hands it to StateMachine::check(). It is \Stringable so a falsified property renders the failing sequence as a readable trace instead of [N element(s)].

Properties

Property	Type	Readonly
initialModel	mixed	yes
commands	array	yes

Methods

__toString()

__toString(): string