[Certora Audit] G-04. ExtensibleBase._setSafeMethod(): storage access optimization
#2862
| Job | Run time |
|---|---|
| 5m 10s | |
| 42s | |
| 46s | |
| 1m 5s | |
| 1m 12s | |
| 1m 1s | |
| 1m 13s | |
| 2s | |
| 11m 11s |