{"push_id":842034790,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"286bc71cef4e3b0bacce5762f2a7d194248330a7","before":"34ac149f7e9ef3fd1a79ba691367cdf239d7904d","commits":[{"sha":"286bc71cef4e3b0bacce5762f2a7d194248330a7","author":{"email":"1570f45fd579a26bc2a3b1541514affddbabb8c9@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"dangl"},"message":"Witness validation: Fixed a NullPointerException that occurred when an invalid witness (no state marked as violation state) was provided.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18187 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/286bc71cef4e3b0bacce5762f2a7d194248330a7"}]}