GitHub PushEvent at 2014-07-31 19:13:00
Repository: cpachecker
Actor: cpachecker
Payload: {"shas":[["037b4d2e4cf3f2a2aab1a1cd4825317d760f1beb","e7a470dfaf30cafb7f0170e09afdd264a48a5f8d@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","Throw an exception if a PASSING clause is given.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13015 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","holzer",true]],"size":1,"ref":"refs/heads/tiger2checker","head":"037b4d2e4cf3f2a2aab1a1cd4825317d760f1beb"}