GitHub PushEvent at 2014-08-30 10:32:39
Repository: cpachecker
Actor: cpachecker
Payload: {"shas":[["fb94ed6b331888386706dd445a0a3d9511140b55","9dcb7a47e6d5d36dd0adc1488da3a555bada844e@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","Refactor: Do not use magic numbers, add default-case to switch statements, fix some JavaDoc,\nput complex if-expressions in own method.\n\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13335 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","lemberge",true]],"size":1,"ref":"refs/heads/trunk","head":"fb94ed6b331888386706dd445a0a3d9511140b55"}