fixed remaining webdebuggerlogger overhead

ftsrg · Oct 14, 2023 · 0319f72 · 0319f72
1 parent ff3256d
commit 0319f72
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/...common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarChecker.java b/...common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarChecker.java
@@ -91,7 +91,7 @@ public SafetyResult<S, A> check(final P initPrec) {
             abstractorTime += stopwatch.elapsed(TimeUnit.MILLISECONDS) - abstractorStartTime;
             logger.write(Level.MAINSTEP, "| Checking abstraction done, result: %s%n", abstractorResult);
 
-            if (wdl != null) {
+            if (WebDebuggerLogger.enabled()) {
                 String argGraph = JSONWriter.getInstance().writeString(ArgVisualizer.getDefault().visualize(arg));
                 String precString = prec.toString();
                 wdl.addIteration(iteration, argGraph, precString);

diff --git a/.../common/common/src/main/java/hu/bme/mit/theta/common/visualization/WebDebuggerLogger.java b/.../common/common/src/main/java/hu/bme/mit/theta/common/visualization/WebDebuggerLogger.java
@@ -36,6 +36,10 @@ public static void enableWebDebuggerLogger() {
         enabled = true;
     }
 
+    public static Boolean enabled() {
+        return enabled;
+    }
+
     public static WebDebuggerLogger getInstance() {
         return instance;
     }