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

Feature Request: Error reporting when constructor reverts #304

Closed rappie closed 6 months ago

rappie commented 7 months ago

It would be nice to have some descriptive error reporting when the contructor function reverts.

Ideally, a full trace like the one that is shown with a broken invariant.

Just printing emitted logs during the constructor would already help tremendously to debug any problems.