Skip to content
safe-smart-account

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

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 #2893

Annotations

1 warning

finish

finish
succeeded Jan 9, 2025 in 5s