added cfa manipulation options to restart configuration

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11882 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
change handling of struct/array initializers from throwing an exception to giving a warning in CFADeclarationMover

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11883 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Removing duplicates in the computation of cutPointEdges.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11884 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Made the single loop transformation more deterministic.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11885 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fixed a bug related to the "wildcard" callstack element: When a wildcard callstack element enables exiting a function, the new callstack state must be a wildcard state aswell.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11886 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Increased the amount of cases where single loop transformation will be skipped due to not being considered necessary.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11887 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
ProcessExecutor usage now works for Sympy calling

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11888 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fixed typo in classnames

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11889 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix for Python 3 in SympyCaller

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11890 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
refactoring: making real class from inner class

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11891 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
adjust more log levels

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@11892 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
rename experiment1 strateg to something better

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@11893 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Implemented simplification using symja.

Still very rough, needs a lot more work.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/symbolicvalue@11894 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
renaming and documentation.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11895 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Enable automatic JAR packing for faster class loading on the GAE servers.


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


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11897 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Add validation of configuration.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11898 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Move constant to more appropriate location.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11899 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Mark instanceType option as deprecated.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11900 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Only delete task if it was marked as processed.


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