aave formal verification grant Feature/steth on prev version Parth Patel#4

Open

parth-15 wants to merge 3 commits intoMichaelMorami:feature/steth-on-prev-versionfrom parth-15:feature/steth-on-prev-version

+1,002-40

Commits on Jun 28, 2022

Add specs - Parth
parth-15
committed
Commented the hook due to utils.CertoraInternalException: Certora internal exception; please report this to Certora.
parth-15
committed

Commits on Jun 30, 2022

Submitted the hook rule which was failing
parth-15
committed