quickcheck-dynamic
quickcheck-dynamic copied to clipboard
Random generation of initial states
trafficstars
This introduces two changes:
initialState :: Gen state instead of initialState :: state and a new callback setup :: state -> m () to RunModel.
Checklist:
- [x] Check source-code formatting is consistent