Some basic integration tests using leibniz
Extra commit to make sure integration testing is working.