Certora Review #17
Triggered via pull request
November 20, 2024 12:59
nisnislevi
Status
Cancelled
Total duration
8m 54s
Artifacts
–
Annotations
4 errors
|
verify (stableRemoved.conf)
The run was canceled by @nisnislevi.
|
|
verify (stableRemoved.conf)
The operation was canceled.
|
|
|
|
verify (NEW-pool-simple-properties.conf --rule cannotBorrowOnReserveDisabledForBorrowing --msg "c...
The operation was canceled.
|