Generalized Proofs #1715
Triggered via pull request
November 29, 2023 18:12
Status
Failure
Total duration
23m 27s
Artifacts
–
certora-prover.yml
on: pull_request
list-scripts
4s
Matrix: verify
Annotations
4 errors and 9 warnings