CommandSequence

Rasuvaeff\PropertyTesting\StateMachine\CommandSequence

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

Implements: Stringable

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

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

Constructor

__construct(
    mixed $initialModel,
    list<\StateMachine\Command> $commands,
)

Parameter	Type	Default	Description
$initialModel	mixed	required
$commands	list<\StateMachine\Command>	required

Methods

__toString()

__toString(): string