search

crytic / building-secure-contracts

Guidelines and training material to write secure smart contracts
https://secure-contracts.com/
GNU Affero General Public License v3.0
2.2k stars 343 forks source link

Update coverage for Echidna 2.2.0 #300

Closed arcz closed 1 year ago

arcz commented 1 year ago

Updates the coverage examples to match the newest Echidna. I re-generated them by running Echidna.

ggrieco-tob commented 1 year ago

This should be merge after the upcoming echidna release