Skip to content
Certora

[Certora] Unchecked #4

Sign in to view logs

[Certora] Unchecked

[Certora] Unchecked #4

Triggered via pull request September 19, 2023 14:20
@QGarcheryQGarchery
synchronize #19
certora/unchecked
Status Failure
Total duration 45s
Artifacts –

certora.yml

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

Annotations

2 errors
verify (verifyLiveness.sh)
Process completed with exit code 1.
verify (verifyUnchecked.sh)
Process completed with exit code 1.