echidna

echidna copied to clipboard

Optimization mode: Improve fuzzing strategy, e.g. specific mutations using the best results

1

The title should be self explanatory and I know very little about what echidna does behind the scenes. Someone else please expand this if necessary :smile:

rappie

feat: more visibility for unsupported cheatcodes (BadCheatCode)

3

Using unrecognized cheatcodes results in a failure. ```solidity import "forge-std/Test.sol"; contract TestContract is Test { function test123(uint256 x) public { vm.assume(false); vm.expectRevert(); } } ``` ``` echidna-test . --contract TestContract...

0xPhaze

Feature request: Show which project is currently being fuzzed

1

#### Use case I regularly have more than 1 `echidna` running on seperate projects. Currently I can't see which is which and I often have to close both to find...

rappie

Not all event parameters appear in gui's "event sequence"

1

While fuzzing Uniswap V2 with the Echidna streaming series, I've noticed that the "event sequence" that shows up in the gui when an assert fails does not always show all...

webthethird

Integration with VScode for debugging.

MatthewARinehart

Uniformly distributing the mutators does not seem to be the best idea. Perhaps we can try to tune them in some way.

incertia

Add runs/calls/reverts output to Echidna output

3

similar to this 

rmi7

Feature Request: Add values from state changes and/or events to corpus

2

**Feature** It would be nice to have echidna add values from state changes and/or emitted events to the corpus. **State changes** A simple example of state changes would be an...

rappie

elopez

elopez