Get started invariant testing with this guide to testing Wrapped Ether.

Using a "storage struct" to prevent layout collisions in upgradeable contracts.

A pattern for simplifying Solidity contracts with many setter functions.