Adding new class CTypeConversionHandler, that produces the correct C-types for binary operations.
The methods of this class return the "common real type" using the "usual arithmetic conversions" from C99.

This class will be used soon.
Perhaps there is a better name for this class (and a better place), but I have not found it.

Also adding junit-tests.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8837 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Reintegrate branch graceful-shutdown into trunk.
Now the timeout handling of CPAchecker has changed completely,
and most of the benchmark definitions have been changed accordingly.
CPAchecker is now responsible for terminating in a timely manner,
and all developers should ensure this by regularly checking
the ShutdownNotifier in code that may take some time.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8846 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Re-enable removal of *.stdOut files produced by cloud.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8848 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Extract common utility method.Extract common utility method.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8849 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Call close() on CPA instances in some remaining occasions.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8850 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix accidential infinite recursion.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8852 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Better output for ARGSimplified.dot

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8853 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
cast of complex-type: do search for substring, instead use typeid.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8854 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
castExpression does not need 2 types, so lets remove the superfluous one.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8855 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix type numeration for unequal types with equal names in different files which should be evaluated together

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8856 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
add forgotten type registration which is necessary while evaluation multiple c files where types with equal name but different fields are occuring

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8857 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
remove too strict equality check from enumerators

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8858 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
InvariantsCPA: Excluding some helper variables from invariant extraction. The problem that extracted variable information might lead to exceptions still remains if the user code makes assumptions about variables being out of scope, as the InvariantsCPA currently ignores scoping.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8859 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Add some try-finally block so that Timers get stopped reliably.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8860 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix missing statistics after Ctrl+C

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8861 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Another time measurement improvement.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@8863 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
When using CPAchecker for counterexample checks,
honour a given resource limit for the counterexample check.

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