Skip to content
Certora

[Certora] Supply cap #330

Sign in to view logs

[Certora] Supply cap

[Certora] Supply cap #330

Triggered via pull request May 20, 2024 18:30
@QGarcheryQGarchery
synchronize #419
certora/supply-cap
Status Failure
Total duration 1h 47m 29s
Artifacts –

certora.yml

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

Annotations

5 errors
verify (Reverts)
Process completed with exit code 1.
verify (Liveness)
Process completed with exit code 1.
verify (SupplyCap)
Process completed with exit code 1.
verify (Enabled)
Process completed with exit code 1.
verify (DistinctIdentifiers)
Process completed with exit code 1.