{"push_id":984696228,"size":1,"distinct_size":1,"ref":"refs/heads/DelegatingBAMRefinerLDV","head":"194046ba2d659ff33708b37402bb0e884a1e8f46","before":"f92299d4127cb0c35b35f2d4b0625aabf230c32c","commits":[{"sha":"194046ba2d659ff33708b37402bb0e884a1e8f46","author":{"email":"bdcaa0682677dc406773a1c4ba4307355d42531f@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"andrianov"},"message":"Implement a feature to reset last error paths as a new interface\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/DelegatingBAMRefinerLDV@19848 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/194046ba2d659ff33708b37402bb0e884a1e8f46"}]}