[Certora] fix typos #360
Annotations
14 errors
verify (DistinctIdentifiers)
Process completed with exit code 1.
|
verify (LastUpdated)
Process completed with exit code 1.
|
verify (Range)
Process completed with exit code 1.
|
verify (MarketInteractions)
Process completed with exit code 1.
|
verify (ConsistentState)
Process completed with exit code 1.
|
verify (Liveness)
Process completed with exit code 1.
|
verify (Immutability)
Process completed with exit code 1.
|
verify (Enabled)
Process completed with exit code 1.
|
verify (Roles)
Process completed with exit code 1.
|
verify (Reentrancy)
Process completed with exit code 1.
|
verify (Timelock)
Process completed with exit code 1.
|
verify (Reverts)
Process completed with exit code 1.
|
verify (Tokens)
Process completed with exit code 1.
|
verify (PendingValues)
Process completed with exit code 1.
|