search

input-output-hk / quickcheck-contractmodel

Adversary testing of your plutus contract
Apache License 2.0
7 stars 9 forks source link

Relax bounds on lens #10

Closed andreabedini closed 1 year ago

andreabedini commented 1 year ago

Tested with

cabal build quickcheck-contractmodel --constraint="lens^>=5.0" --allow-older=quickcheck-contractmodel:lens
cabal build quickcheck-contractmodel --constraint="lens^>=5.1" --allow-older=quickcheck-contractmodel:lens
andreabedini commented 1 year ago

Reminder: make a new revision on CHaP if/when these are merged.