Skip to content
certora

feat: add new contract to support merkl reward claiming #84

Sign in to view logs

feat: add new contract to support merkl reward claiming

feat: add new contract to support merkl reward claiming #84

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (positiveSupply_imply_positiveAssets-deposit.conf)
5m 30s
verify (positiveSupply_imply_positiveAssets-mint.conf)
7m 31s
verify (erc4626-previewOPERATIONS.conf)
5m 16s
verify (fees_LEQ_ATokenBal.conf)
7m 32s
verify (changeInContractBalanceShouldCauseAccrual.conf)
7m 5s
verify (positiveSupply_imply_positiveAssets-other.conf)
6m 31s
verify (lastVaultBalance_LEQ_ATokenBalThis.conf)
7m 12s
verify (positiveSupply_imply_positiveAssets-redeem.conf)
5m 26s
verify (accrueYieldCheck.conf)
5m 48s
verify (positiveSupply_imply_positiveAssets-withdraw.conf)
7m 27s
verify (rayMul_rayDiv_mulDiv_properties.conf)
6m 28s
verify (totalSupply_EQ_sumAllBal.conf)
16m 10s
1h 27m 56s