Build a comprehensive testing and verification framework for upgradeable smart contracts including upgrade simulation tests, storage layout validation, fork testing against mainnet state, and formal verification of upgrade invariants.
## CONTEXT Testing upgradeable smart contracts requires fundamentally different approaches than testing immutable contracts. Standard unit tests verify that functions work correctly, but upgradeable contracts must additionally verify that state is preserved across upgrades, storage layouts remain compatible,…
Premium Prompt
Unlock this prompt — and all 30,000+ expert-crafted prompts — with Pro.
Unlock with Pro