building-secure-contracts icon indicating copy to clipboard operation
building-secure-contracts copied to clipboard

Published 20 hours ago • verified publisher icon crytic

Add Echidna example to test with Solidity libraries

Open gustavo-grieco opened this issue 5 years ago • 1 comments
trafficstars

gustavo-grieco avatar Mar 31 '20 13:03 gustavo-grieco

Does https://blog.trailofbits.com/2020/08/17/using-echidna-to-test-a-smart-contract-library/ match what you have in mind?

If so, this is fixed with https://github.com/crytic/building-secure-contracts/commit/9b61a29eecfea321bbce187f6e4e1142d36f4094

montyly avatar Apr 06 '21 08:04 montyly

Actually, this was fixed in #263

gustavo-grieco avatar Aug 29 '23 12:08 gustavo-grieco