search

input-output-hk / quickcheck-contractmodel

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

Conway era #38

Open sjoerdvisscher opened 4 months ago