Skip to content
Certora

[Certora] Supply cap #341

Sign in to view logs

[Certora] Supply cap

[Certora] Supply cap #341

Triggered via pull request June 20, 2024 12:42
@QGarcheryQGarchery
synchronize #419
certora/supply-cap
Status Failure
Total duration 1h 33m 16s
Artifacts –

certora.yml

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

Annotations

4 errors
verify (Liveness)
Process completed with exit code 1.
verify (Range)
Process completed with exit code 1.
verify (SupplyCap)
Process completed with exit code 1.
verify (Enabled)
Process completed with exit code 1.