crytic / echidna

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

add call sequence mutation that removes all reverting txs in the sequences #1264

Open 0xalpharush opened 1 month ago

0xalpharush commented 1 month ago

Describe the desired feature

For long call sequences, re-executing reverted transactions probably adds more overhead than it is worth, considering it is unlikely that tx level mutations will make the majority of them successful e.g. 99% of a call sequence with a length of 500 is failing. It would make more sense to shrink the call sequence some portion of the time to only include successful transaction and insert/extend

ggrieco-tob commented 1 month ago

I think this should be good, even if executed once in a while, to avoid all the sequence to "saturate".