RethLab
EN
レッスン3 — `forge invariant` — Handler パターンによる multi-call invariant testing