quickcheck-dynamic

quickcheck-dynamic copied to clipboard

`forAllDL` and similar functions do return `Property` but not `PropertyM`

1

I am not that sure of internal workings and if that is possible, but it would be nice if `forAllDL` returned `PropertyM` value. That way one could mix it with...

uhbif19

`forAllDL` calls given handler argument on produced `Actions`. But such `Actions` datatype always have [first param](https://hackage.haskell.org/package/quickcheck-dynamic-3.4.1/docs/src/Test.QuickCheck.StateModel.html#Actions) empty, which AFAIU should contain list of rejected Actions. On opposite `arbitrary :: Gen...

uhbif19

Random generation of initial states

14

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...

MaximilianAlgehed

Introduce a QuickCheck-style `MoreActions` type modifier to make it easier to increase the number of actions on average in tests

3

I'm not 100% sure I like this design, but now you can do `quickCheck $ prop_BlaBla . getMoreActions` to increase the number of actions generated in traces without changing other...

MaximilianAlgehed