Issues
- 1
- 4
Add a flag to log msg.sender for each function trace
#1166 opened - 1
Expression-level coverage support
#1164 opened - 3
- 2
[Bug-Candidate]: Missing dashboard config option
#1141 opened - 0
- 2
echidna-test: command not found
#1139 opened - 3
echidna: Couldn't compile given file
#1138 opened - 9
- 7
- 0
Clearer Readme install and usage instructions
#1130 opened - 1
[Bug-Candidate]: When returning from an ffi action, special characters are not stripped.
#1129 opened - 0
[Bug-Candidate]: Coverage report seems like can't handle contracts made with ERC-1167 pattern
#1128 opened - 1
[Bug-Candidate]: Echidna `stopOnFail` does not behave as expected when `coverage` is turned on
#1126 opened - 0
[Bug-Candidate]: Echidna takes too long to exit
#1124 opened - 0
Allow Echidna & Medusa to share the same corpus
#1123 opened - 16
[Bug-Candidate]: Set.elemAt: index out of range
#1118 opened - 1
- 0
Unpin crytic-compile on Docker image
#1114 opened - 2
- 3
Current testing modes information
#1107 opened - 1
Install info for Hardhat and NPX in Docker?
#1106 opened - 3
- 7
[Bug-Candidate]: Segmentation Fault
#1104 opened - 5
- 1
Coverage is reported for function/contract names
#1102 opened - 1
Rename echidna_ default
#1101 opened - 3
Add support for `etch` cheatcode (from Foundry)
#1097 opened - 2
- 2
Memory leak when contract uses excessive memory
#1094 opened - 0
- 1
- 0
Show the number of reproducers saved
#1088 opened - 2
- 8
[Bug-Candidate]: Corpus replay does not work as expected when the target contract changes
#1086 opened - 1
Print a warning if 0.8.20 is used
#1085 opened - 1
- 2
- 2
- 2
- 2
Highlight lcov support in the readme
#1063 opened - 17
- 4
Toggle Log panel with 'L' key
#1060 opened - 1
Show how many times a property/assertion was covered
#1057 opened - 3
Improve help if the wrong test-mode is used
#1056 opened - 5
Show what assertions were not covered
#1055 opened - 2
- 4
- 5
- 1
Save inputs as soon as possible
#1045 opened