[PSym] Correct result reporting

Correct result reporting when run times out or memout at depth 0
p-org · Oct 12, 2023 · b822b12 · b822b12
1 parent 067fb56
commit b822b12
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/Src/PRuntimes/PSymRuntime/pom.xml b/Src/PRuntimes/PSymRuntime/pom.xml
@@ -327,7 +327,7 @@
         <maven.compiler.target>11</maven.compiler.target>
         <log4j2.configurationFile>${project.basedir}/src/main/resources/log4j2.xml</log4j2.configurationFile>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-        <revision>1.1.2</revision>
+        <revision>1.1.3</revision>
 
         <deps.path>${project.basedir}/../../../Bld</deps.path>
 

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
@@ -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(