search

input-output-hk / quickcheck-contractmodel

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

HasSymtokens is a weird class name now #16

Closed MaximilianAlgehed closed 1 year ago