[Certora Audit] G-06. ExtensibleFallbackHandler._supportsInterface(): save gas via short-circuit evaluation
#2265
| Job | Run time |
|---|---|
| 3s | |
| 3s |