invariant-testing

What problem does it solve?

Invariant testing guides and automates stateful fuzz testing for DeFi contracts using Foundry, enabling repeatable, bounded exploration of contract invariants.

Core Features & Use Cases

• Invariant templates and handler-based testing to validate that invariants hold across complex state transitions.
• Ghost variable tracking to verify that on-chain state matches expected model state across random sequences.
• Target configuration workflows to constrain functions and actors for focused testing, with time-warp handling for time-dependent protocols.
• Production-grade invariant tests for security-critical contracts and DeFi protocols.

Quick Start

Set up a Vault with a Handler and run forge test to begin bounded invariant exploration on a DeFi protocol.