{"push_id":1196391073,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"1e28fb50c733d437d8af0d27f0312b8bd0512390","before":"499f43b05179d23709fcb45b23b572684ff96a87","commits":[{"sha":"1e28fb50c733d437d8af0d27f0312b8bd0512390","author":{"name":"ottseb","email":"575b61aa08618f4d06012bb59dbb6b03d4bdcffd@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Fix removing of loop states from reached set after successful synthesis\nof termination argument.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@22160 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/1e28fb50c733d437d8af0d27f0312b8bd0512390"}]}
{"actor":{"display_login":"dbeyer-bot"}}