Commit 874c5365 authored by Sarah Grebing's avatar Sarah Grebing

found Error true statement

parent 3129e863
Pipeline #20989 failed with stages
...@@ -89,7 +89,7 @@ public class ProofScriptCommandBuilder implements CommandHandler<KeyData> { ...@@ -89,7 +89,7 @@ public class ProofScriptCommandBuilder implements CommandHandler<KeyData> {
Iterator<Node> nodeIterator = start.leavesIterator(); Iterator<Node> nodeIterator = start.leavesIterator();
while (nodeIterator.hasNext()) { while (nodeIterator.hasNext()) {
Node n = nodeIterator.next(); Node n = nodeIterator.next();
LOGGER.error(n.isClosed()); LOGGER.error("Node "+ n.serialNr()+" was closed "+ n.isClosed());
} }
} else { } else {
......
...@@ -3,6 +3,9 @@ ...@@ -3,6 +3,9 @@
<Appenders> <Appenders>
<Console name="Console" target="SYSTEM_OUT"> <Console name="Console" target="SYSTEM_OUT">
<PatternLayout pattern="[%-5level] %msg%n"/> <PatternLayout pattern="[%-5level] %msg%n"/>
<!--<PatternLayout pattern="%d{HH:mm:ss.SSS} [%t] %-5level %logger{36} - %msg%n"/>-->
</Console> </Console>
<File name="F" fileName="debug.log" bufferSize="0" bufferedIO="false" append="false"> <File name="F" fileName="debug.log" bufferSize="0" bufferedIO="false" append="false">
<PatternLayout pattern="%d{HH:mm:ss.SSS} [%t] %-5level %logger{36} - %msg%n"/> <PatternLayout pattern="%d{HH:mm:ss.SSS} [%t] %-5level %logger{36} - %msg%n"/>
......
...@@ -52,7 +52,7 @@ public class ProofScriptDebugger extends Application { ...@@ -52,7 +52,7 @@ public class ProofScriptDebugger extends Application {
getClass().getResource("debugger-ui.css").toExternalForm(), getClass().getResource("debugger-ui.css").toExternalForm(),
DockNode.class.getResource("default.css").toExternalForm() DockNode.class.getResource("default.css").toExternalForm()
); );
System.out.println(getClass().getResource("debugger-ui.css").toExternalForm()); logger.info("Loading CSS class " + getClass().getResource("debugger-ui.css").toExternalForm());
primaryStage.setTitle(NAME + " (" + VERSION + ") with KeY:" + KEY_VERSION); primaryStage.setTitle(NAME + " (" + VERSION + ") with KeY:" + KEY_VERSION);
primaryStage.setScene(scene); primaryStage.setScene(scene);
......
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