Skip to content
certora

Merge pull request #87 from bgd-labs/v3.3.0 #136

Sign in to view logs

Merge pull request #87 from bgd-labs/v3.3.0

Merge pull request #87 from bgd-labs/v3.3.0 #136

Triggered via push February 24, 2025 10:32
@sakulstrasakulstra
pushed 5431379
main
Status Failure
Total duration 13m 8s
Artifacts –

certora-basic.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

11 errors
verify (NEW-pool-no-summarizations.conf)
Process completed with exit code 1.
verify (NEW-pool-simple-properties.conf --rule cannotDepositInFrozenReserve --msg "cannotDepositI...
Process completed with exit code 1.
verify (NEW-pool-simple-properties.conf --rule cannotDepositZeroAmount --msg "cannotDepositZeroAm...
Process completed with exit code 1.
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawFromInactiveReserve --msg "cannotWit...
Process completed with exit code 1.
verify (NEW-pool-simple-properties.conf --rule cannotWithdrawZeroAmount --msg "cannotWithdrawZero...
Process completed with exit code 1.
verify (NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowZeroAmount --msg "c...
Process completed with exit code 1.
verify (NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnInactiveReserve -...
Process completed with exit code 1.
verify (NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnReserveDisabledFo...
Process completed with exit code 1.
verify (NEW-pool-simple-properties.conf --rule_sanity none --rule cannotBorrowOnFrozenReserve --m...
Process completed with exit code 1.
verify (NEW-pool-simple-properties.conf --rule cannotDepositInInactiveReserve --msg "cannotDeposi...
Process completed with exit code 1.
verify (stableRemoved.conf)
Process completed with exit code 1.