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
306 stars 41 forks source link

Assign shrinking to one worker #449

Open 0xalpharush opened 3 months ago

0xalpharush commented 3 months ago

Right now all workers shrink a single failure and block fuzzing. We should pin the job to one worker (maybe all should be done if stopOnFailedTest is true but I don't think we're taking the min. of the workers or syncing them rn anyway)

see screenshot https://github.com/crytic/medusa/pull/448