expect_sequential {hedgehog}

Execute a state machine model

Description

Executes the list of commands sequentially, ensuring that all postconditions hold.

Usage

expect_sequential(initial.state, actions)

Arguments

initial.state

the starting state to build from which is appropriate for this state machine generator.

actions

the list of actions which are to be run.

Value

an expectation.