[Certora Audit] G-04. `ExtensibleBase._setSafeMethod()`: storage access optimization#891

Merged

mmv08 merged 1 commit intomainfrom g04

Jan 9, 2025

+4-3

Commits on Jan 9, 2025

G-04. ExtensibleBase._setSafeMethod(): storage access optimization
remedcu
committed