crytic/echidna

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

Open

#1,264 opened on May 25, 2024

View on GitHub
 (1 comment) (0 reactions) (0 assignees)Haskell (434 forks)auto 404
enhancementhelp wanted

Repository metrics

Stars
 (3,162 stars)
PR merge metrics
 (PR metrics pending)

Description

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

Contributor guide

Research direction
Review the existing mutation code in Echidna, particularly the call sequence generation and mutation logic. Understand how transactions are represented and how to detect reverting transactions. Implement a new mutation that removes all reverting transactions from a sequence, and ensure it is integrated into the mutation scheduler.
Tech stack
haskell
Domain
testingblockchain
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
3-5 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
Haskellfuzzing concepts
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40