Hardhat + Enchidna

This is an execise project of this tutorial

building-secure-contracts-use-echidna-like-a-pro.pdf

Totally 6 exercieses.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
contracts		contracts
crytic-export		crytic-export
results		results
scripts		scripts
test		test
.gitignore		.gitignore
README.md		README.md
building-secure-contracts-use-echidna-like-a-pro.pdf		building-secure-contracts-use-echidna-like-a-pro.pdf
hardhat.config.js		hardhat.config.js
package-lock.json		package-lock.json
package.json		package.json

Provide feedback