Medusa can't solve the `ByteBattle` fuzzing challenge but Echidna can solve it instantly

crytic / medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

https://www.trailofbits.com/

GNU Affero General Public License v3.0

292 stars 37 forks source link

Open devdacian opened 7 months ago

devdacian commented 7 months ago

Medusa can't solve the ByteBattle fuzzing challenge even after 60 seconds but Echidna can solve it instantly.