-
Alexander Weigl authored
# Conflicts: # rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/graphs/ControlFlowVisitor.java # rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/graphs/PTreeNode.java # rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/graphs/StateGraphWrapper.java # ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/ProofTreeController.java
c7ec5de9