Skip to content
Certora

[Certora] Via IR #204

Sign in to view logs

[Certora] Via IR

[Certora] Via IR #204

Re-run triggered November 8, 2023 15:57
@QGarcheryQGarchery
#466
certora/via-ir
Status Failure
Total duration 2h 0m 54s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

5 errors
verify (Transfer)
Process completed with exit code 1.
verify (RatioMath)
Process completed with exit code 1.
verify (Reentrancy)
Process completed with exit code 1.
verify (Health)
Process completed with exit code 1.
verify (AccrueInterest)
Process completed with exit code 1.