-
pwendler authored
This was contributed by a GSoC student. We do not need to declare every copyright holder (just keep copyright notices that have been added) but in easy cases like this we can add the mention to make it clear. git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@33726 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
33b66605