[Certora] Verif expected reverts #157
Triggered via pull request
October 7, 2024 16:32
colin-morpho
Status
Failure
Total duration
2h 4m 40s
Artifacts
–
Annotations
1 error
|
verify (Reverts)
Process completed with exit code 1.
|