expect_sequential: Execute a state machine model
In hedgehog: Property-Based Testing
Description
Usage
Arguments
Value
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.
hedgehog documentation built on May 2, 2019, 11:27 a.m.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Description Usage Arguments Value
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.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.