Skip to content
Certora

[Certora] Via IR #210

Sign in to view logs

[Certora] Via IR

[Certora] Via IR #210

Triggered via pull request November 21, 2023 09:14
@QGarcheryQGarchery
synchronize #466
certora/via-ir
Status Failure
Total duration 2h 0m 42s
Artifacts –

certora.yml

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

Annotations

4 errors
verify (Transfer)
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.