Skip to content

Certora Review

Certora Review #53

Annotations

1 warning

verify (verifyAToken.conf --rule aTokenBalanceIsFixed_for_collectAndUpdateRewards aTokenBalanceIs...

succeeded Dec 12, 2024 in 11m 2s
Set up job
1s
Run actions/checkout@v4
9s
Install python
0s
Install java
2s
Install certora cli
4s
Install solc
0s
Verify rule verifyAToken.conf --rule aTokenBalanceIsFixed_for_collectAndUpdateRewards aTokenBalanceIsFixed_for_claimRewards aTokenBalanceIsFixed_for_claimRewardsOnBehalf
10m 44s
Post Install java
0s
Post Install python
0s
Post Run actions/checkout@v4
0s
Complete job
0s