[Certora] Improve utility functions access #598
Annotations
11 errors
verify (Reentrancy)
Process completed with exit code 1.
|
verify (Liveness)
Process completed with exit code 1.
|
verify (LibSummary)
Process completed with exit code 1.
|
verify (AccrueInterest)
Process completed with exit code 1.
|
verify (ExactMath)
Process completed with exit code 1.
|
verify (AssetsAccounting)
Process completed with exit code 1.
|
verify (ConsistentState)
Process completed with exit code 1.
|
verify (Health)
Process completed with exit code 1.
|
verify (Reverts)
Process completed with exit code 1.
|
verify (ExchangeRate)
Process completed with exit code 1.
|
verify (StayHealthy)
Process completed with exit code 1.
|