fix bug failing test

LearnLib · Jan 24, 2024 · fa89a91 · fa89a91
1 parent c8a20fe
commit fa89a91
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java b/src/main/java/de/learnlib/ralib/oracles/mto/OptimizedSymbolicSuffixBuilder.java
@@ -421,15 +421,21 @@ SymbolicSuffix coalesceSuffixes(SymbolicSuffix suffix1, SymbolicSuffix suffix2)
 
             // TODO Do we need to make sv free if one of the sv's is equal to a previous sv?
             boolean free = freeIndices1.contains(index1) || freeIndices2.contains(index1) || freeIndices1.contains(index2) || freeIndices2.contains(index2);
+            boolean notSeen = false;
 
             if (seenVals1.contains(sv1) && !free) {
                 sv = sValMapping.get(sv1);
             } else if (seenVals2.contains(sv2) && !free) {
                 sv = sValMapping.get(sv2);
             } else {
+            	notSeen = true;
+            }
+            if (sv != null && freeValues.contains(sv))
+            	free = true;
+            if (notSeen || free) {
                 sv = sgen.next(type);
                 if (free) {
-                    freeValues.add(sv);
+                	freeValues.add(sv);
                 }
             }
             seenVals1.add(sv1);