search

crytic / echidna

Ethereum smart contract fuzzer
https://secure-contracts.com/program-analysis/echidna/index.html
GNU Affero General Public License v3.0
2.72k stars 362 forks source link

chore: fix some comments #1272

Closed cangqiaoyuzhuo closed 3 months ago

CLAassistant commented 3 months ago

CLA assistant check
All committers have signed the CLA.