input-output-hk / input-output-hk/quickcheck-dynamic
`forAllDL` does not keep track of `Action`s rejected by `precondition`
Open
- Dominant language
- Haskell
- Stars
- 35
- Forks
- 10
- PR merge metrics
- No merged PRs in 30d
Description
`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 Actions` [instance](https://hackage.haskell.org/package/quickcheck-dynamic-3.4.1/docs/src/Test.QuickCheck.StateModel.html#local-6989586621679077833) seems to implement rejection logs.
Contributor guide
Assessment
This issue has not been assessed yet.