The proof of concept is written in Solidity, using the truffle development environment. You should be able to compile and run tests using the following command after installing the prerequisites of truffle:
See scenarios for the intended scope of coverage through the automated tests.
The tests are separated by feature areas for feeds, loans, savings, and liquidations. They also have separate files for negative tests and edge case tests where appropriate.