{"push_id":2977946181,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"aa382acbe69c7f276c39134a88f9bd2b3b23ecce","before":"f9d3f54c8f98ead06dafcaac219c2cfa57fe4171","commits":[{"sha":"aa382acbe69c7f276c39134a88f9bd2b3b23ecce","author":{"name":"lemberge","email":"9dcb7a47e6d5d36dd0adc1488da3a555bada844e@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Static slicer itself also has possibility to add all assumptions on possible error paths\n\nNecessary to get valid counterexamples, was previously\nonly implemented for concrete counterexamples in incremental slicing.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@29554 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/aa382acbe69c7f276c39134a88f9bd2b3b23ecce"}]}
{"actor":{"display_login":"dbeyer-bot"}}