Certora Review #20
Triggered via pull request
September 11, 2024 20:03
Status
Success
Total duration
59m 3s
Artifacts
–
Annotations
48 warnings