fix: patch getallocatable mag #2795
Triggered via pull request
September 19, 2024 18:26
Status
Failure
Total duration
3m 29s
Artifacts
–
certora-prover.yml
on: pull_request
list-scripts
3s
Matrix: verify
Annotations
5 errors and 17 warnings