Commit c822da5c authored by Sarah Grebing's avatar Sarah Grebing
Browse files

temp commit

parent 5f2a3659
......@@ -8,8 +8,6 @@ import javafx.application.Platform;
import javafx.fxml.FXMLLoader;
import javafx.scene.Parent;
import javafx.scene.Scene;
import javafx.scene.input.KeyCode;
import javafx.scene.input.KeyCodeCombination;
import javafx.stage.Stage;
import org.apache.logging.log4j.LogManager;
import org.apache.logging.log4j.Logger;
......@@ -29,7 +27,7 @@ import java.util.Locale;
public class ProofScriptDebugger extends Application {
public static final String NAME = "Proof Script Debugger";
public static final String VERSION = "1.0-FM";
public static final String VERSION = "1.0.1e-FM";
public static final String KEY_VERSION = KeYConstants.VERSION;
......@@ -43,6 +41,10 @@ public class ProofScriptDebugger extends Application {
public void start(Stage primaryStage) {
Locale.setDefault(Locale.ENGLISH);
try {
/*if(System.getProperty("keyhome")!=null) {
PathConfig.setKeyConfigDir(System.getProperty("keyhome"));
}*/
FXMLLoader fxmlLoader = new FXMLLoader(getClass().getResource("/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.fxml"));
Parent root = fxmlLoader.load();
DebuggerMain controller = fxmlLoader.getController();
......
......@@ -314,7 +314,7 @@ public class DebuggerMain implements Initializable {
showCodeDock(null);
});
//addCell listener for linehighlighting when changing selection in inspectionview
//addCell listener for line-highlighting when changing selection in inspectionview
getInspectionViewsController().getActiveInspectionViewTab().getModel().highlightedJavaLinesProperty().
addListener((observable, oldValue, newValue) -> {
if (newValue != null) {
......
......@@ -2,8 +2,10 @@ package edu.kit.iti.formal.psdbg.gui.controls;
import de.jensd.fx.glyphs.materialdesignicons.MaterialDesignIcon;
import de.jensd.fx.glyphs.materialdesignicons.MaterialDesignIconView;
import de.uka.ilkd.key.control.KeYEnvironment;
import de.uka.ilkd.key.logic.op.IProgramMethod;
import de.uka.ilkd.key.pp.ProgramPrinter;
import de.uka.ilkd.key.proof.Proof;
import de.uka.ilkd.key.speclang.Contract;
import edu.kit.iti.formal.psdbg.interpreter.data.GoalNode;
import edu.kit.iti.formal.psdbg.interpreter.data.KeyData;
......@@ -317,4 +319,9 @@ public class Utils {
Clipboard.getSystemClipboard().setContent(map);
System.err.println(s);
}
public static void dumpSettings(KeYEnvironment env, Proof p) {
System.out.println("Settings\n" + env.getInitConfig().getSettings().settingsToString());
//p.getEnv().getInitConfigForEnvironment().getSettings().settingsToString();
}
}
......@@ -12,10 +12,12 @@ script split_from_quicksort() {
cases{
case match `==> seqDef(_,_,_) = seqDef(_, _, _)`:
__KEY_MAX_STEPS:=10000;
auto;
case match `==> (\exists ?X (\exists ?Y _))`:
instantiate var=X with=`i_0`;
instantiate var=Y with=`j_0`;
__KEY_MAX_STEPS:=10000;
auto;
}
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment