Welcome to Part 2 of the Echidna streaming series. This part has two sections:
- ABDKMath: The ABDKMath section highlights how to write simple function-level properties for arithmetic operations.
- Staker: The Staker section highlights the use of an external testing methodology to test a target system. Additionally, it highlights how to use coverage reports to debug your fuzz tests.
The slides for this part can be found here.
The video presentation for this part can be found on YouTube.
Because Staker is a Hardhat project, before being able to fuzz it with Echidna, you have to install its dependencies.
Make sure you have npm installed.
Once you are in the Staker directory run npm install.