quickcheck-dynamic icon indicating copy to clipboard operation
quickcheck-dynamic copied to clipboard

Random generation of initial states

Open MaximilianAlgehed opened this issue 1 year ago • 14 comments
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

MaximilianAlgehed avatar Sep 18 '24 10:09 MaximilianAlgehed