Fix princess interpolation issue

ftsrg · Jun 24, 2024 · d956072 · d956072
1 parent a0d7355
commit d956072
Showing 1 changed file with 3 additions and 9 deletions.
diff --git a/...b/src/main/java/hu/bme/mit/theta/solver/smtlib/impl/princess/PrincessSmtLibItpSolver.java b/...b/src/main/java/hu/bme/mit/theta/solver/smtlib/impl/princess/PrincessSmtLibItpSolver.java
@@ -41,13 +41,7 @@
 import org.antlr.v4.runtime.ParserRuleContext;
 import org.antlr.v4.runtime.misc.Interval;
 
-import java.util.ArrayList;
-import java.util.Collections;
-import java.util.HashMap;
-import java.util.LinkedList;
-import java.util.List;
-import java.util.Map;
-import java.util.Set;
+import java.util.*;
 import java.util.stream.Collectors;
 
 import static com.google.common.base.Preconditions.checkArgument;
@@ -57,8 +51,8 @@
 
 public final class PrincessSmtLibItpSolver extends SmtLibItpSolver<PrincessSmtLibItpMarker> {
 
-    private final Map<Expr<BoolType>, String> assertionNames = new HashMap<>();
-    private static final String assertionNamePattern = "_smtinterpol_assertion_%d";
+    private final Map<Expr<BoolType>, String> assertionNames = new IdentityHashMap<>();
+    private static final String assertionNamePattern = "_princess_assertion_%d";
     private static long assertionCount = 0;
 
     public PrincessSmtLibItpSolver(