Change #364
| Changed by | pwendler |
| Changed at | Wed 22 Feb 2012 13:41:31 |
| Repository | https://svn.sosy-lab.org/software/cpachecker/trunk |
| Revision | 5692 |
Comments
fix assertion with for loops which look like "for (i = 0; ...)"
Changed files
- src/org/sosy_lab/cpachecker/cfa/parser/eclipse/CFAFunctionBuilder.java