{"push_id":577372829,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2591fc2d5cd5098edffcc88c64860aab4d0e70d3","before":"aef805123fa5949f742768759d5dc1fba5c9f7df","commits":[{"sha":"0d3df7a8edee622fda9de7324f383546004e003a","author":{"email":"86a60933be4944ab4a18fdb197c575848a0792c2@epfl.ch","name":"Etienne Kneuss"},"message":"One reporter per test case, to avoid fatals from breaking other tests","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/0d3df7a8edee622fda9de7324f383546004e003a"},{"sha":"2591fc2d5cd5098edffcc88c64860aab4d0e70d3","author":{"email":"86a60933be4944ab4a18fdb197c575848a0792c2@epfl.ch","name":"Etienne Kneuss"},"message":"Verify the solution by first placing it in the resulting program","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/2591fc2d5cd5098edffcc88c64860aab4d0e70d3"}]}