fix: append . to array element (#173)

ASSERT-KTH · Apr 14, 2023 · a29058f · a29058f
1 parent 4aaee45
commit a29058f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/trace-diff/src/main/java/se/assertkth/tracediff/statediff/computer/StateDiffComputer.java b/trace-diff/src/main/java/se/assertkth/tracediff/statediff/computer/StateDiffComputer.java
@@ -335,7 +335,7 @@ 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 + "].";
                 varVals.addAll(extractVarVals(currentPrefix, nestedObj));
             }
         } else {