Introduction
Writing Invariant Tests
1.
First Steps
2.
Example Project
3.
Chimera Framework
4.
Invariant Testing Bootcamp
5.
Advanced Fuzzing Tips
Opsec
6.
Opsec Resources
Using Recon (Coming Soon)
Free Recon Tools
7.
Recon Extension
8.
Medusa Log Scraper
9.
Echidna Log Scraper
10.
Invariants Builder
11.
Bytecode Compare
12.
Bytecode To Interface
OSS Repos
13.
Chimera
14.
Create Chimera App
15.
Log Parser
16.
ABI to Invariants
17.
ABI to Mock
18.
Setup Helpers
19.
Properties Table
20.
ERC7540 Reusable Properties
Help
21.
Glossary
Light
Rust
Coal
Navy
Ayu
Recon Docs
Medusa Log Scraper
Usage
Paste your Medusa 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