/aave-proposal-test

Primary LanguageSolidity

AIP - Continuous Formal Verification.

Implemetation and testing of the AIP payload for Certora's proposal.

Testing infrastructure taken from this repo (credit: @eboado).