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

贡献者指南