{"push_id":564834743,"size":1,"distinct_size":1,"ref":"refs/heads/bamRecursion","head":"ebf6c230bdf576b7e9737115650871132b544bbf","before":"54c6de8e1dcd3eb5050a92a397fa7f63e8c23df2","commits":[{"sha":"ebf6c230bdf576b7e9737115650871132b544bbf","author":{"email":"ac0bf0410e278f3401f45c41c52aee879da8699a@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"friedber"},"message":"fixing benchmark-definition.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/bamRecursion@15572 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/ebf6c230bdf576b7e9737115650871132b544bbf"}]}