expect_sequential: Execute a state machine model

Description Usage Arguments Value

View source: R/state.R

Description

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

Usage

1
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.


hedgehogqa/r-hedgehog documentation built on July 18, 2021, 5 a.m.