crytic/echidna
add call sequence mutation that removes all reverting txs in the sequences
開放
#1,264 建立於 2024年5月25日
enhancementhelp wanted
倉庫指標
- 星標
- (3,162 顆星)
- PR 合併指標
- (PR 指標待抓取)
描述
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