This repo contains all the details to follow along with the Fuzzing Euler workshop/talk.
⭐ The target audience includes both smart contract developers and security people looking to improve their testing practices and dive into the world of fuzzing.
👉 If you are already used to working with fuzzing the first part of this content may be a bit too basic for you 😃
First and foremost, clone any of the repositories above.
This project has been set up with a suite of tests that check for specific invariants for the reward streams, implemented by vnmrtz.eth. These tests are located in the test/invariants directory. They are written in Solidity and are designed to be run with the echidna fuzzing tool.
Installation and usage of these tools is outside the scope of this README, but you can find more information in the respective repositories:
To run invariant tests with Echidna:
./test/scripts/echidna.sh To run assert tests with Echidna:
./test/scripts/echidna-assert.sh