quickcheck-dynamic
quickcheck-dynamic copied to clipboard
`forAllDL` does not keep track of `Action`s rejected by `precondition`
trafficstars
forAllDL calls given handler argument on produced Actions. But such Actions datatype always have first param empty, which AFAIU should contain list of rejected Actions.
On opposite arbitrary :: Gen Actions instance seems to implement rejection logs.