Test suite for the Aave Protocol v2 by SigmaPrime during their audit - View it on GitHub