Skip to content
certora

fix error Guards.spec #911

Sign in to view logs

fix error Guards.spec

fix error Guards.spec #911

Re-run triggered February 28, 2025 09:52
@mmv08mmv08
#921
futreall:patch-2
Status Failure
Total duration 25s
Artifacts –

certora.yml

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

Annotations

27 errors
verify (safeMigration)
Process completed with exit code 1.
verify (owner)
The job was canceled because "safeMigration" failed.
verify (owner)
Process completed with exit code 1.
verify (fallback)
The job was canceled because "safeMigration" failed.
verify (fallback)
Process completed with exit code 1.
verify (signatures)
The job was canceled because "safeMigration" failed.
verify (signatures)
Process completed with exit code 1.
verify (guards)
The job was canceled because "safeMigration" failed.
verify (guards)
Process completed with exit code 1.
verify (extensible)
The job was canceled because "safeMigration" failed.
verify (extensible)
Process completed with exit code 1.
verify (setup)
The job was canceled because "safeMigration" failed.
verify (setup)
Process completed with exit code 1.
verify (safeToL2Migration)
The job was canceled because "safeMigration" failed.
verify (safeToL2Migration)
Process completed with exit code 1.
verify (execute)
The job was canceled because "safeMigration" failed.
verify (execute)
The operation was canceled.
verify (hash)
The job was canceled because "safeMigration" failed.
verify (hash)
The operation was canceled.
verify (module)
The job was canceled because "safeMigration" failed.
verify (module)
The operation was canceled.
verify (nativeTokenRefund)
The job was canceled because "safeMigration" failed.
verify (nativeTokenRefund)
The operation was canceled.
verify (safeToL2Setup)
The job was canceled because "safeMigration" failed.
verify (safeToL2Setup)
The operation was canceled.
verify (safe)
The job was canceled because "safeMigration" failed.
verify (safe)
The operation was canceled.