gen.actions

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

initial.state

the list of commands which
we can select choose from. Only commands
appropriate for the state will actually be
selected.

commands

Generate a list of possible actions.

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.

gen.actions: Generate a list of possible actions.

Description

Usage

Arguments

Value