Skip to content
certora

feat: aToken Vault Revenue-Splitter Owner (#101) #57

Sign in to view logs

feat: aToken Vault Revenue-Splitter Owner (#101)

feat: aToken Vault Revenue-Splitter Owner (#101) #57

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (lastVaultBalance_LEQ_ATokenBalThis.conf)
9m 9s
verify (fees_LEQ_ATokenBal.conf)
19m 0s
verify (positiveSupply_imply_positiveAssets-deposit.conf)
9m 39s
verify (totalSupply_EQ_sumAllBal.conf)
7m 36s
verify (changeInContractBalanceShouldCauseAccrual.conf)
12m 15s
verify (accrueYieldCheck.conf)
8m 46s
verify (positiveSupply_imply_positiveAssets-redeem.conf)
8m 43s
verify (positiveSupply_imply_positiveAssets-other.conf)
10m 20s
verify (positiveSupply_imply_positiveAssets-mint.conf)
8m 56s
verify (erc4626-previewOPERATIONS.conf)
7m 10s
verify (positiveSupply_imply_positiveAssets-withdraw.conf)
9m 41s
verify (rayMul_rayDiv_mulDiv_properties.conf)
5m 0s
1h 56m 15s