diff --git a/rt-key/src/main/resources/edu/kit/iti/formal/psdbg/macros/nonsplit-prop.html b/rt-key/src/main/resources/edu/kit/iti/formal/psdbg/macros/nosplit-prop.html similarity index 76% rename from rt-key/src/main/resources/edu/kit/iti/formal/psdbg/macros/nonsplit-prop.html rename to rt-key/src/main/resources/edu/kit/iti/formal/psdbg/macros/nosplit-prop.html index 7e033bdefdf8b32db5ea92420588bd4984e6f210..ca5fd1f8f1a97f45e86bfd8a8300c5b0c34aae35 100644 --- a/rt-key/src/main/resources/edu/kit/iti/formal/psdbg/macros/nonsplit-prop.html +++ b/rt-key/src/main/resources/edu/kit/iti/formal/psdbg/macros/nosplit-prop.html @@ -2,12 +2,12 @@ - nonsplit-prop + nosplit-prop -

nonsplit-prop

+

nosplit-prop

-

Synopsis: nonsplit-prop;

+

Synopsis: nosplit-prop;

Description:

This macros applies rules to decompose propositional toplevel formulas without applying splitting rules. diff --git a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java index a635a0145c6f2bf939c723ebef7cf210a99a1a7b..c0017ee63bf998aa79721b445bc8162c21d99880 100644 --- a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java +++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java @@ -503,7 +503,7 @@ public class DebuggerMain implements Initializable { statusBar.publishSuccessMessage("Interpreter finished."); btnInteractiveMode.setDisable(false); assert model.getDebuggerFramework() != null; - btnInteractiveMode.setSelected(true); + btnInteractiveMode.setSelected(false); PTreeNode statePointer = model.getDebuggerFramework().getStatePointer(); assert statePointer!=null; State lastState = statePointer.getStateAfterStmt();