You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+5-5
Original file line number
Diff line number
Diff line change
@@ -158,14 +158,13 @@ EVM emulation and testing is hard. Echidna has a number of limitations in the la
158
158
159
159
| Description | Issue | Status |
160
160
| :--- | :---: | :---: |
161
-
| Debug information can be insufficient |[#656](https://github.com/crytic/echidna/issues/656)|*in review*|
161
+
| Debug information can be insufficient |[#656](https://github.com/crytic/echidna/issues/656)|*[in review for 2.0](https://github.com/crytic/echidna/pull/674)*|
162
162
| Vyper support is limited |[#652](https://github.com/crytic/echidna/issues/652)|*wont fix*|
163
163
| Limited library support for testing |[#651](https://github.com/crytic/echidna/issues/651)|*wont fix*|
164
164
| If the contract is not properly linked, Echidna will crash |[#514](https://github.com/crytic/echidna/issues/514)|*in review*|
165
-
| Assertions are not detected in internal transactions |[#601](https://github.com/crytic/echidna/issues/601)|*in review*|
166
-
| Assertions are not detected in solc 0.8.x |[#669](https://github.com/crytic/echidna/issues/669)|*in review*|
167
-
| Value generation can fail in multi-abi mode, since the function hash is not precise enough |[#579](https://github.com/crytic/echidna/issues/579)|*in review*|
168
-
|`checkAsserts` flag is ignored in the config file (and it should be enabled by command-line) |[#665](https://github.com/crytic/echidna/pull/665)|*fixed*|
165
+
| Assertions are not detected in internal transactions |[#601](https://github.com/crytic/echidna/issues/601)|*[in review for 2.0](https://github.com/crytic/echidna/pull/674)*|
166
+
| Assertions are not detected in solc 0.8.x |[#669](https://github.com/crytic/echidna/issues/669)|*[in review for 2.0](https://github.com/crytic/echidna/pull/674)*|
167
+
| Value generation can fail in multi-abi mode, since the function hash is not precise enough |[#579](https://github.com/crytic/echidna/issues/579)|*[in review for 2.0](https://github.com/crytic/echidna/pull/674)*|
169
168
170
169
## Installation
171
170
@@ -289,5 +288,6 @@ All these can be solved, from a few seconds to one or two minutes on a laptop co
289
288
290
289
### Trail of Bits
291
290
-[Echidna: effective, usable, and fast fuzzing for smart contracts](https://github.com/trailofbits/publications/blob/master/papers/echidna_issta2020.pdf), Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce - ISSTA '20
291
+
-[echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing](https://agroce.github.io/issta21.pdf), Alex Groce, Gustavo Grieco - ISSTA '21
292
292
293
293
If you are using Echidna on an academic work, consider applying to the [Crytic $10k Research Prize](https://blog.trailofbits.com/2019/11/13/announcing-the-crytic-10k-research-prize/).
0 commit comments