The Invariant Testing Bootcamp
4 Part Self-Paced Written Tutorial to get you finding and breaking properties
For a while there were no comprehensive resources to take you from zero to hero with invariant testing. We’ve been working to solve this by compiling useful information in the Recon Book, but we were missing a comprehensive step-by-step walkthrough for everything you need to know for invariant testing: until now.
This bootcamp is meant to take you from no knowledge of invariant testing to a point where you feel comfortable writing invariant tests to find bugs in a production system.
Over the four parts of the bootcamp we cover the following:
How to scaffold an invariant testing suite using the Recon extension.
How to create a simplified system deployment for your invariant testing suite.
How to achieve full coverage over the contracts of interest in your invariant suite.
How to implement properties to test with Foundry, Echidna, Medusa, Halmos and Kontrol.
How to debug broken properties.
How to use Echidna's optimization mode to increase the impact of broken properties.
You can start the bootcamp using the button down below: