diff --git a/Src/PRuntimes/PSymRuntime/pom.xml b/Src/PRuntimes/PSymRuntime/pom.xml index 345c72a04..03a39bc5e 100644 --- a/Src/PRuntimes/PSymRuntime/pom.xml +++ b/Src/PRuntimes/PSymRuntime/pom.xml @@ -327,7 +327,7 @@ 11 ${project.basedir}/src/main/resources/log4j2.xml UTF-8 - 1.1.2 + 1.1.3 ${project.basedir}/../../../Bld diff --git a/Src/PRuntimes/PSymRuntime/src/main/java/psym/runtime/statistics/SearchStats.java b/Src/PRuntimes/PSymRuntime/src/main/java/psym/runtime/statistics/SearchStats.java index b62f83afa..ae2271c9e 100644 --- a/Src/PRuntimes/PSymRuntime/src/main/java/psym/runtime/statistics/SearchStats.java +++ b/Src/PRuntimes/PSymRuntime/src/main/java/psym/runtime/statistics/SearchStats.java @@ -44,6 +44,10 @@ public TotalStats getSearchTotal() { for (int i = 1; i <= lastCompletedIteration; i++) { if (!iterationStats.containsKey(i)) continue; IterationStats entry = iterationStats.get(i); + if (!entry.isCompleted()) { + completed = false; + } + DepthStats d = entry.getIterationNewTotal(); if (d.getDepth() == 0) continue; if (d.getDepth() > maxDepth) { @@ -53,10 +57,6 @@ public TotalStats getSearchTotal() { totalTransitions += d.getNumOfTransitions(); totalMergedTransitions += d.getNumOfMergedTransitions(); totalTransitionsExplored += d.getNumOfTransitionsExplored(); - - if (!entry.isCompleted()) { - completed = false; - } } DepthStats totalDepthStats = new DepthStats(