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

`forAllDL` does not keep track of `Action`s rejected by `precondition`

Open uhbif19 opened this issue 1 year ago • 0 comments
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.

uhbif19 avatar May 27 '24 12:05 uhbif19