search

crytic / properties

Pre-built security properties for common Ethereum operations
GNU Affero General Public License v3.0
287 stars 44 forks source link

Update readme and configs to be consistent with the latest echidna version #28

Closed tuturu-tech closed 1 year ago

tuturu-tech commented 1 year ago

Updated all the places that used echidna-test and multi-abito the Echidna >=2.1.0 updated command and keyword.