issues
search
input-output-hk
/
quickcheck-contractmodel
Adversary testing of your plutus contract
Apache License 2.0
7
stars
9
forks
source link
change package name to quickcheck-contractmodel
#8
Closed
berewt
closed
1 year ago