Certora Review #41
Triggered via pull request
September 15, 2024 15:44
Status
Success
Total duration
29m 40s
Artifacts
–
Annotations
28 warnings