Skip to content
certora

Certora/cvl2 #33

Sign in to view logs

Certora/cvl2

Certora/cvl2 #33

Triggered via pull request November 23, 2023 09:18
@MichaelMoramiMichaelMorami
synchronize #8
certora/cvl2
Status Cancelled
Total duration 19m 35s
Artifacts –

certora.yml

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

Annotations

6 errors and 10 warnings
verify (verifyGhoVariableDebtToken_specialBranch.conf --rule sendersDiscountPercentCannotIncrease)
Process completed with exit code 1.
verify (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...
Process completed with exit code 1.
verify (verifyGhoToken.conf --rule length_leq_max_uint160 inv_balanceOf_leq_totalSupply total_sup...
Process completed with exit code 1.
verify (verifyGhoAToken.conf --rule noMint noBurn noTransfer transferUnderlyingToCantExceedCapaci...
Process completed with exit code 1.
verify (verifyGhoVariableDebtToken.conf --rule discountCantExceed100Percent disallowedFunctionali...
The operation was canceled.
verify (verifyGhoVariableDebtToken.conf --rule user_index_after_mint accumulated_interest_increas...
The operation was canceled.
verify (verifyGhoVariableDebtToken_specialBranch.conf --rule 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 (verifyGhoDiscountRateStrategy.conf --rule equivalenceOfWadMulCVLAndWadMulSol maxDiscountF...
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 (verifyGhoVariableDebtTokenInternal.conf)
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.conf)
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.conf --rule 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 (verifyFlashMinter.conf --rule balanceOfFlashMinterGrows integrityOfTreasurySet integrityO...
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.conf --rule length_leq_max_uint160 inv_balanceOf_leq_totalSupply total_sup...
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.conf --rule noMint noBurn noTransfer transferUnderlyingToCantExceedCapaci...
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.conf --rule discountCantExceed100Percent disallowedFunctionali...
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.conf --rule user_index_after_mint accumulated_interest_increas...
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/