Introduction
Writing Invariant Tests
1.
First Steps
2.
Example Project
3.
Chimera Framework
4.
Invariant Testing Bootcamp
Using Recon (Coming Soon)
Free Recon Tools
5.
Recon Extension
6.
Medusa Log Scraper
7.
Echidna Log Scraper
8.
Invariants Builder
9.
Bytecode Compare
10.
Bytecode To Interface
OSS Repos
11.
Chimera
12.
Create Chimera App
13.
Log Parser
14.
ABI to Invariants
15.
ABI to Mock
16.
Setup Helpers
17.
Properties Table
18.
ERC7540 Reusable Properties
Help
19.
Glossary
Light
Rust
Coal
Navy
Ayu
Recon Docs
Echidna Log Scraper
Usage
Paste your Echidna logs generated at the end of your test run
All function calls will be scraped automatically from the pasted logs
Each property will generate a Foundry reproducer unit test
Toggle cheatcodes as needed
