crytic/echidna

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

開放

#1,264 建立於 2024年5月25日

 (1 則留言) (0 個反應) (0 位負責人)Haskell (434 個分叉)auto 404
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

貢獻者指南