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