[Certora Audit] G-04. ExtensibleBase._setSafeMethod(): storage access optimization
#2263
| Job | Run time |
|---|---|
| 3s | |
| 3s |
ExtensibleBase._setSafeMethod(): storage access optimization
#2263
| Job | Run time |
|---|---|
| 3s | |
| 3s |