fixed remaining webdebuggerlogger overhead

ftsrg · Oct 14, 2023 · ff3256d · ff3256d
1 parent 9e8b5cf
commit ff3256d
Showing 1 changed file with 5 additions and 4 deletions.
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,10 +91,11 @@ 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);
 
-            String argGraph = JSONWriter.getInstance().writeString(ArgVisualizer.getDefault().visualize(arg));
-            String precString = prec.toString();
-
-            wdl.addIteration(iteration, argGraph, precString);
+            if (wdl != null) {
+                String argGraph = JSONWriter.getInstance().writeString(ArgVisualizer.getDefault().visualize(arg));
+                String precString = prec.toString();
+                wdl.addIteration(iteration, argGraph, precString);
+            }
 
             if (abstractorResult.isUnsafe()) {
                 MonitorCheckpoint.Checkpoints.execute("CegarChecker.unsafeARG");