[Certora] Supply cap #344
Annotations
4 errors
verify (Liveness)
Process completed with exit code 1.
|
verify (Immutability)
Process completed with exit code 1.
|
verify (SupplyCap)
Process completed with exit code 1.
|
verify (Enabled)
Process completed with exit code 1.
|