{"push_id":1014600172,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"d51d1500adf0f4094f3bdb78c4002c284dd0923b","before":"2d472e76ba03b2ee0c1ed56a66c1d1487c662c72","commits":[{"sha":"d51d1500adf0f4094f3bdb78c4002c284dd0923b","author":{"email":"1570f45fd579a26bc2a3b1541514affddbabb8c9@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"dangl"},"message":"Add some configurations for producing and validating correctness witnesses\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@20158 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/d51d1500adf0f4094f3bdb78c4002c284dd0923b"}]}