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

feat: Reversion metrics #466

Open bsamuels453 opened 2 months ago

bsamuels453 commented 2 months ago

image

0xalpharush commented 2 months ago

Could we pick one phrase like "Revert Statistics" and use it consistently right now there's three or four ways and it'll be easier to search in the codebase for if we use the same terms?

bsamuels453 commented 2 months ago

Could we pick one phrase like "Revert Statistics" and use it consistently right now there's three or four ways and it'll be easier to search in the codebase for if we use the same terms?

agree, I've refactored this to call the component the "reversion reporter"

bsamuels453 commented 2 months ago

@0xalpharush I'm satisfied with how the feature is working; this PR is ready for final review.