certora

Certora/cvl2 #25

Sign in to view logs

Triggered via pull request November 22, 2023 16:26

synchronize #8

certora/cvl2

Status Cancelled

Total duration 1h 11m 20s

Artifacts –

certora.yml

on: pull_request

Matrix: verify

Annotations

6 errors and 10 warnings

verify (verifyGhoDiscountRateStrategy.sh equivalenceOfWadMulCVLAndWadMulSol maxDiscountForHighDis...

Process completed with exit code 2.

verify (verifyGhoVariableDebtTokenIntenal.sh)

Process completed with exit code 2.

verify (verifyGhoVariableDebtToken_specialBranch.sh sendersDiscountPercentCannotIncrease)

Process completed with exit code 1.

verify (verifyGhoVariableDebtToken_summarized.sh accrueAlwaysCaleldBeforeRefresh)

Process completed with exit code 1.

verify (verifyGhoVariableDebtToken.sh user_index_after_mint accumulated_interest_increase_after_m...

The operation was canceled.

verify (verifyGhoVariableDebtToken.sh discountCantExceed100Percent disallowedFunctionalities nonM...

The operation was canceled.

verify (verifyGhoDiscountRateStrategy.sh equivalenceOfWadMulCVLAndWadMulSol maxDiscountForHighDis...

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

verify (verifyGhoAToken.sh noMint noBurn noTransfer transferUnderlyingToCantExceedCapacity totalS...

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

verify (verifyGhoVariableDebtTokenIntenal.sh)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

verify (verifyGhoVariableDebtToken_specialBranch.sh sendersDiscountPercentCannotIncrease)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

verify (verifyGhoVariableDebtToken_summarized.sh accrueAlwaysCaleldBeforeRefresh)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

verify (verifyGhoVariableDebtToken-rayMulDiv-summarization.sh)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

verify (verifyGhoToken.sh length_leq_max_uint160 inv_balanceOf_leq_totalSupply total_supply_eq_su...

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

verify (verifyFlashMinter.sh balanceOfFlashMinterGrows integrityOfTreasurySet integrityOfFeeSet a...

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

verify (verifyGhoVariableDebtToken.sh user_index_after_mint accumulated_interest_increase_after_m...

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

verify (verifyGhoVariableDebtToken.sh discountCantExceed100Percent disallowedFunctionalities nonM...

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/