Skip to content

Merge pull request #86 from bgd-labs/feat/solidity-utils-update #82

Merge pull request #86 from bgd-labs/feat/solidity-utils-update

Merge pull request #86 from bgd-labs/feat/solidity-utils-update #82

Annotations

1 warning

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

succeeded Dec 9, 2024 in 11m 49s