Add possibility to do literal string matches on C labels from automata
with the syntax MATCH LABEL "..."

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13637 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Add specification that is used by the LDV project.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13638 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
allowed backward analysis for which reaching entry node is not a failure

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13639 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Added a debug version of the paBackwards config.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13640 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
The method `simplify` of the (Unsafe)FormulaManager should operate on BooleanFormula

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13641 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Added tests that show that the backwards-SSA implementation was broken during
the last changes in trunk.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13642 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fixed the SSA implementation test; considering the fact that the backwards
analysis does not yet support aliasing.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13644 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
bug fix: added two forgotten options in switch case

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13645 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix references to the wrong PathFormulaManager in tests.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13646 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix test: on declarations with initializers we increment the SSA index
twice to ensure that there is an increment even if no initializer is
present. Incrementing twice is not a problem.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13647 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Use random_seed=42 by default

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13648 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Extended webclient mode of the benchmark script.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13649 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Princess does only support Integer-thoery, so we do not provide RationalFormulaManager for Princess.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13650 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
replacing emun PrincessEnv.Type with Model.TermType. Both have the same values and we had to convert between them. Also removing last parts of RationalType for Princess.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13651 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
replacing enum SmtInterpolEnv.Type with Model.TermType. Both have the same values and we had to convert between them.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13652 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
adding documentation and fixing the equality-checks isEqual and isEquality for formulas.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13653 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Support Python 3.x in webclient mode of benchmark.py. With Python 3 compressed POST data and parallel submission of runs are possible.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13655 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
readded statement accidently deleted during refactoring

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