fix(trace-diff): prevent trailing dot in the last array element (#256)

ASSERT-KTH · May 28, 2023 · 4a432a7 · 4a432a7
1 parent 2d0160f
commit 4a432a7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/...rc/main/java/io/github/chains_project/tracediff/statediff/computer/StateDiffComputer.java b/...rc/main/java/io/github/chains_project/tracediff/statediff/computer/StateDiffComputer.java
@@ -341,7 +341,10 @@ private Set<String> extractVarVals(String prefix, RuntimeValue valueJo) {
 
             for (int i = 0; i < nestedTypes.size(); i++) {
                 RuntimeValue nestedObj = nestedTypes.get(i);
-                String currentPrefix = prefix + "[" + i + "].";
+                String currentPrefix = prefix + "[" + i + "]";
+                if (!valueJo.getFields().isEmpty()) {
+                    currentPrefix = currentPrefix + ".";
+                }
                 varVals.addAll(extractVarVals(currentPrefix, nestedObj));
             }
         } else {