Issues: crytic/echidna
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target
enhancement
#1253
opened May 10, 2024 by
0xalpharush
Feature Request: Add setting to consider reverted tests as failed in assertion mode
enhancement
#1248
opened May 6, 2024 by
rappie
[Bug-Candidate]: Internal Error: TODO: implement copySlice with a symbolically sized region
#1247
opened May 3, 2024 by
rappie
[Bug-Candidate]: no fore color support for terminal xterm-256color
#1240
opened Apr 18, 2024 by
aviggiano
[Bug-Candidate]: Coverage report doesn't display fuzzing contract in html unless an assertion fails
#1239
opened Apr 18, 2024 by
0xicingdeath
Feature Request: Support for logging in view functions like Foundry's
console2
enhancement
#1233
opened Apr 8, 2024 by
rappie
[Bug-Candidate]: Sequences from corpus do not adhere to time/block delay settings
#1231
opened Apr 5, 2024 by
rappie
Feature Request: Option to disable Etherscan downloads with onchain fuzzing
enhancement
#1230
opened Apr 5, 2024 by
rappie
Feature Request: Continuously save progress while shrinking
enhancement
#1223
opened Mar 20, 2024 by
rappie
[Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation
#1219
opened Mar 18, 2024 by
rappie
Increased documentation on config values and how they skew
documentation
#1212
opened Mar 12, 2024 by
0xicingdeath
Provide more information on debugging
error Revert 0x
documentation
enhancement
#1211
opened Mar 12, 2024 by
0xicingdeath
Consider printing out hexadecimal representation of panics and the error msg for a specific panic
enhancement
hevm
Requires changes in hevm
#1210
opened Mar 12, 2024 by
0xicingdeath
[Bug-Candidate]: Inconsistent "thread blocked indefinitely in an mvar operation"
#1209
opened Mar 12, 2024 by
0xicingdeath
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.