Skip to content
certora

[Certora Audit] I-02. Some comments say keccak instead of keccak256 #857

Sign in to view logs

[Certora Audit] I-02. Some comments say keccak instead of keccak256

[Certora Audit] I-02. Some comments say keccak instead of keccak256 #857

Annotations

1 warning

verify (safeMigration)

verify (safeMigration)
succeeded Jan 9, 2025 in 1m 3s