Skip to content
Certora

Docs improvements #349

Sign in to view logs

Docs improvements

Docs improvements #349

Re-run triggered July 3, 2024 16:21
@MathisGDMathisGD
#423
nnsW3:docs-improvements
Status Failure
Total duration 1m 4s
Artifacts –

certora.yml

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

Annotations

14 errors
verify (Reentrancy)
Process completed with exit code 1.
verify (Enabled)
Process completed with exit code 1.
verify (LastUpdated)
Process completed with exit code 1.
verify (Timelock)
Process completed with exit code 1.
verify (PendingValues)
Process completed with exit code 1.
verify (Reverts)
Process completed with exit code 1.
verify (Tokens)
Process completed with exit code 1.
verify (Liveness)
Process completed with exit code 1.
verify (DistinctIdentifiers)
Process completed with exit code 1.
verify (MarketInteractions)
Process completed with exit code 1.
verify (Immutability)
Process completed with exit code 1.
verify (Roles)
Process completed with exit code 1.
verify (Range)
Process completed with exit code 1.
verify (ConsistentState)
Process completed with exit code 1.