Certora Review #22
Triggered via pull request
September 15, 2024 15:44
Status
Success
Total duration
21m 11s
Artifacts
–
Annotations
48 warnings