expect_sequential

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

Hedgehog will eat all your bugs.
'Hedgehog' is a property-based testing package in the spirit
of 'QuickCheck'. With 'Hedgehog', one can test properties
of their programs against randomly generated input, providing
far superior test coverage compared to unit testing. One of the
key benefits of 'Hedgehog' is integrated shrinking of
counterexamples, which allows one to quickly find the cause of
bugs, given salient examples when incorrect behaviour occurs.

Huw Campbell

hedgehog

Property-Based Testing

expect_sequential function

<dl><dt>initial.state</dt>
<dd>the starting state to
build from which is appropriate for this
state machine generator.</dd>
<dt>actions</dt>
<dd>the list of actions which
are to be run.</dd></dl>

Arguments

Execute a state machine model — expect_sequential

<dl>

<dt>initial.state</dt>
<dd>the starting state to
build from which is appropriate for this
state machine generator.</dd>


<dt>actions</dt>
<dd>the list of actions which
are to be run.</dd>

</dl>

expect_sequential: Execute a state machine model

Description

Usage

Value

Arguments