Skip to content

Commit 7bfbb7e

Browse files
authored
Update Echidna readme (#170)
Add streaming + list exercise 8
1 parent 0f24e83 commit 7bfbb7e

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

program-analysis/echidna/README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,8 @@
11
# Echidna Tutorial
22

3-
The aim of this tutorial is to show how to use Echidna to automatically test smart contracts.
3+
The aim of this tutorial is to show how to use Echidna to automatically test smart contracts.
44

5-
The first part introduces how to write properties for Echidna.
6-
The second part is a set of exercises to solve.
5+
Watch our [Fuzzing workshop](https://www.youtube.com/watch?v=QofNQxW_K08&list=PLciHOL_J7Iwqdja9UH4ZzE8dP1IxtsBXI) to learn through live coding sessions.
76

87
**Table of contents:**
98

@@ -35,6 +34,7 @@ The second part is a set of exercises to solve.
3534
- [Exercise 5](./Exercise-5.md): Solving Damn Vulnerable DeFi - Unstoppable
3635
- [Exercise 6](./Exercise-6.md): Solving Damn Vulnerable DeFi - Naive Receiver
3736
- [Exercise 7](./Exercise-7.md): Solving Damn Vulnerable DeFi - Side Entrance
37+
- [Exercise 8](./Exercise-8.md): Solving Damn Vulnerable DeFi - The Rewarder
3838

3939
Join the team on Slack at: https://empireslacking.herokuapp.com/ #ethereum
4040

0 commit comments

Comments
 (0)