{"push_id":721898017,"size":1,"distinct_size":1,"ref":"refs/heads/symbolic-cegar","head":"95b8900513e76e35c22d1c61e09f36e56c3e2568","before":"714b4f9ca4676b1e645aae9d2af4b0d699121ae9","commits":[{"sha":"95b8900513e76e35c22d1c61e09f36e56c3e2568","author":{"email":"9dcb7a47e6d5d36dd0adc1488da3a555bada844e@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"lemberge"},"message":"Test-sets for benchmarks of symbolic execution with CEGAR\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolic-cegar@17277 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/95b8900513e76e35c22d1c61e09f36e56c3e2568"}]}