[Certora] Supply cap #329
QGarcheryAnnotations
5 errors
|
verify (Reverts)
Process completed with exit code 1.
|
|
verify (Immutability)
Process completed with exit code 1.
|
|
verify (Liveness)
Process completed with exit code 1.
|
|
verify (ConsistentState)
Process completed with exit code 1.
|
|
verify (SupplyCap)
Process completed with exit code 1.
|