Medusa can no longer solve the `RarelyFalse` fuzzing challenge

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

273 stars 33 forks source link

Medusa can no longer solve the `RarelyFalse` fuzzing challenge #305

Open devdacian opened 4 months ago

devdacian commented 4 months ago

Medusa used to be able to solve the RarelyFalse fuzzing challenge almost instantly but compiling from source with the recent latest changes it is unable to solve it even after 5 minutes.