expect_sequential: Execute a state machine model
In hedgehog: Property-Based Testing
expect_sequential R Documentation
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.
hedgehog documentation built on Nov. 6, 2025, 1:11 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.
| expect_sequential | R Documentation |
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.
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.