[Certora Audit] G-03. ERC165Handler.setSupportedInterface()
: Logic and storage access optimization
#2239
Job | Run time |
---|---|
8s | |
8s |