Skip to content
certora

[Certora Audit] G-03. ERC165Handler.setSupportedInterface(): Logic and storage access optimization #839

Sign in to view logs

[Certora Audit] G-03. ERC165Handler.setSupportedInterface(): Logic and storage access optimization

[Certora Audit] G-03. ERC165Handler.setSupportedInterface(): Logic and storage access optimization #839

Annotations

1 warning

verify (safeToL2Migration)

verify (safeToL2Migration)
succeeded Jan 9, 2025 in 1m 23s