{"push_id":636927169,"size":1,"distinct_size":1,"ref":"refs/heads/symbolic-cegar","head":"e8bc5c9e4b67912269b872023b1c2c9300bb1c0b","before":"4cb327e8e39d6c94a028448ea87aeab7206cb29a","commits":[{"sha":"e8bc5c9e4b67912269b872023b1c2c9300bb1c0b","author":{"email":"9dcb7a47e6d5d36dd0adc1488da3a555bada844e@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"lemberge"},"message":"Fix bug in ConstraintsState.ConstraintsIterator and add unit test for it.\n\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolic-cegar@16664 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/e8bc5c9e4b67912269b872023b1c2c9300bb1c0b"}]}