Skip to content

Commit ddb8f16

Browse files
Update README.md
1 parent 0104e7f commit ddb8f16

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

program-analysis/echidna/README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ Watch our [Fuzzing workshop](https://www.youtube.com/watch?v=QofNQxW_K08&list=PL
1919
- [Frequently Asked Questions](./frequently_asked_questions.md): Answers to common questions about Echidna
2020
- Advanced
2121
- [How to collect a corpus](./collecting-a-corpus.md): How to use Echidna to collect a corpus of transactions
22+
- [How to use optimization mode](./optimization_mode.md): How to use Echidna to optimize a function
2223
- [How to detect high gas consumption](./finding-transactions-with-high-gas-consumption.md): How to find functions with high gas consumption.
2324
- [How to perform smart contract fuzzing at a large scale](./smart-contract-fuzzing-at-scale.md): How to use Echidna to run a long fuzzing campaign for complex smart contracts.
2425
- [How to test a library](https://blog.trailofbits.com/2020/08/17/using-echidna-to-test-a-smart-contract-library/): How Echidna was used to test the library in Set Protocol (blogpost)

0 commit comments

Comments
 (0)