search

crytic / medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
https://secure-contracts.com/program-analysis/medusa/docs/src/
GNU Affero General Public License v3.0
304 stars 40 forks source link

add tool to convert an echidna config to medusa's format #474

Open 0xalpharush opened 2 months ago

0xalpharush commented 2 months ago

We should be able to run medusa init --echidna-config <path/to/echidna.yml to get an equivalent medusa config

https://github.com/crytic/echidna/blob/778f63c2ddfeec143e41d48064804f7432c65797/tests/solidity/basic/default.yaml https://github.com/crytic/medusa/blob/master/fuzzing/config/config_defaults.go