{"push_id":715132345,"size":1,"distinct_size":1,"ref":"refs/heads/DelegatingBAMRefiner","head":"8307bbe2b9e3d67f607ec89308828e2b40ec1134","before":"41e86666645b0109ac02aa6db339564746bb7624","commits":[{"sha":"8307bbe2b9e3d67f607ec89308828e2b40ec1134","author":{"email":"ac0bf0410e278f3401f45c41c52aee879da8699a@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"friedber"},"message":"adding field for Reason to RefinementFailedException.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/DelegatingBAMRefiner@17220 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/8307bbe2b9e3d67f607ec89308828e2b40ec1134"}]}