search

input-output-hk / quickcheck-contractmodel

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

Add working bounds and remove redundant deps #6

Closed berewt closed 1 year ago

berewt commented 1 year ago

Needed for CHaP.