Foundryの不変条件テスト入門｜ハンドラー・ゴースト変数・反例

Foundryの状態を引き継ぐ不変条件テストを単体テスト・ファジングと比較し、ハンドラー、実行主体、対象関数、ゴースト変数、ERC-20・AMM・Vault・権限の性質、縮約した反例を再現します。