Some assertions.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11344 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix SMGState.isLessOrEqual

Fix is based on avoiding of drop of this object if it contains memory leak and the already reached covering object does not contain memory leak.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11345 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
refactoring, splitting very long function, partial reordering of statements.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11347 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
cleanup

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11348 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Refactoring: move method

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11349 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
bugfix"global" variable handling when dealing with multiple files

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11350 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Bugfix for registering ComplexTypes in GlobalScope when dealing with multiple files

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11351 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Remove unused operators from AST.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11353 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Replace char[] with String.
Prefer to use immutable Strings instead of mutable arrays wherever possible.

The original intent to use char arrays here was to eliminate copying
the potentially large strings, but the code completely failed to do so,
creating as least as many copies as when using Strings directly.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11354 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
the feature to add conditions, via ':', to config files for the restart-algorithm resulted in failures on the Windows platform

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11355 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Never delegate to Eclipse CDT for reading source files from disk,
this fails in the App Engine.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11356 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
for the restart algorithm, give the name of the config if it is invalid or missing

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11357 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Remove ugly workarounds in CFACreator,
the necessary fix for the App Engine has now been added to the correct place.
This fixes the combination of -preprocess with several input files, too.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11358 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Use utility method for reading files instead of inefficient BufferedReader solution.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11359 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Encapsulate fields, public fields are not recommended.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11361 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11362 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix line endings and set svn:eol-style property.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11365 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Runtime exceptions (e.g., IllegalArgumentException) should not be used
for expected failure cases like invalid input.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11366 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Package cmdline should only be used for stuff that is not relevant
when CPAchecker is not started from the command line,
thus move class PropertyFileParser to util package.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11367 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
add an optimization (runtime- and score-wise) to the explicit interpolation - now, the assigning semantics of assumptions are, if possible, ignored during interpolation, as this often led to refinement roots being assumptions, which is not favorable

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11368 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c