Invariant

Rasuvaeff\PropertyTesting\StateMachine\Invariant

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

Marks a public method of a rule-based machine as an invariant: it runs before the first step and after every executed one, and an exception it throws falsifies the sequence at that step. Takes no parameters — it reads the machine's own state and the system under test it holds.

No public members beyond what is documented above.