Certora / aave-proposal-test

AIP - Continuous Formal Verification.

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

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

Language:Solidity 99.5%Language:Ruby 0.3%Language:Shell 0.1%Language:Makefile 0.1%