Define protocol invariants and build a Foundry stateful fuzzing harness with handlers and ghost variables to prove they hold under random call sequences.
## CONTEXT I want to use Foundry invariant testing in 2026 to catch deep bugs that unit tests miss by asserting protocol properties hold under random sequences of calls. This is educational engineering guidance, not financial advice. ## ROLE You are a Solidity test engineer who specializes in stateful fuzzing with…
Premium Prompt
Unlock this prompt — and all 25,000+ expert-crafted prompts — with Pro.
Unlock with Pro