Skip to content

docs: fix NatSpec in simulateAndRevert #947

docs: fix NatSpec in simulateAndRevert

docs: fix NatSpec in simulateAndRevert #947

Re-run triggered April 10, 2025 11:08
Status Failure
Total duration 28s
Artifacts

certora.yml

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

Annotations

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