search

crytic / echidna

Ethereum smart contract fuzzer
GNU Affero General Public License v3.0
2.65k stars 346 forks source link

Show trace on UnknownFailure #1283

Closed samalws-tob closed 6 days ago

samalws-tob commented 1 week ago

Partially resolves #938

ggrieco-tob commented 6 days ago

Why this is partially resolving 938?

samalws-tob commented 6 days ago

Because it doesn't explicitly provide a trace message of "you used an unknown cheatcode vm.expectRevert, which echidna doesn't support" but you can figure out what the unknown cheatcode is from the stack trace

ggrieco-tob commented 6 days ago

This is good enough.