Skip to content

Commit f86bbb4

Browse files
authored
Merge pull request #357 from crytic/echidna-wiki-docs
Add more technical Echidna documentation
2 parents 77229ac + 8b36faa commit f86bbb4

File tree

3 files changed

+427
-0
lines changed

3 files changed

+427
-0
lines changed

SUMMARY.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -96,6 +96,7 @@
9696
- [Interacting with off-chain data via FFI cheatcode](./program-analysis/echidna/advanced/interacting-with-offchain-data-via-ffi.md)
9797
- [Fuzzing tips](./program-analysis/echidna/fuzzing_tips.md)
9898
- [Frequently Asked Questions](./program-analysis/echidna/frequently_asked_questions.md)
99+
- [Configuration options](./program-analysis/echidna/configuration.md)
99100
- [Exercises](./program-analysis/echidna/exercises/README.md)
100101
- [Exercise 1](./program-analysis/echidna/exercises/Exercise-1.md)
101102
- [Exercise 2](./program-analysis/echidna/exercises/Exercise-2.md)

0 commit comments

Comments
 (0)