Create branch testgen

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10001 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
add initial testcase for testgen

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10056 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
testgen: CFATest

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10059 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
base package for testgen


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10062 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
testge: move CFATest to dummygen

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10063 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
testgen: add TestgenTestHelper

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10064 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
testgen: TestgenTestHelper should produce UnmodifiableReachedSet from file

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10065 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
added skeleton methods for generating automaton files that represent a ControlAutomaton based on a ARGPath that is changed at a specified point.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10066 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Class for creating ARGStates based on information about other ARGStates


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10067 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
new interface

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10068 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
testgen: add stub for produceOtherPath()

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10070 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
testgen: produceOtherPath intermediate state -> still not finished

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10071 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
testgen: produceOtherPath -> hopefully does what it should do

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10072 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Manipulation der Ausgabe des error Automaten auf einen Pfad (ArgUtils produce Path).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10073 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merged

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10074 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
testgen: fix failed merge

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10075 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Approach to create different paths for each iteration of an algorythm.

Care this runs under very specifc circumstances.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10076 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
automaton that can produce a NPE in combination with explicit analysis.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10081 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
changed the automaton input file, so that it does not produce a NPE anymore.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/testgen@10083 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fixed a bug, where in the case of an error the exported .spc file did not represent the error path but simply our nextPath automaton.
Removed dead code.

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