Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
GNU Affero General Public License v3.0
292
stars
37
forks
source link
fix: attach execution trace to reverting properties #335
Closed
0xalpharush closed 6 months ago
attach trace if reverts or panics in property test see https://github.com/crytic/medusa/issues/327#issuecomment-1991731002