From d9560726976f9e592ad283a45e17136562c8678d Mon Sep 17 00:00:00 2001 From: mondokm Date: Mon, 24 Jun 2024 14:59:28 +0200 Subject: [PATCH] Fix princess interpolation issue --- .../impl/princess/PrincessSmtLibItpSolver.java | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/subprojects/solver/solver-smtlib/src/main/java/hu/bme/mit/theta/solver/smtlib/impl/princess/PrincessSmtLibItpSolver.java b/subprojects/solver/solver-smtlib/src/main/java/hu/bme/mit/theta/solver/smtlib/impl/princess/PrincessSmtLibItpSolver.java index 9b0fa954e2..8ab0bc7590 100644 --- a/subprojects/solver/solver-smtlib/src/main/java/hu/bme/mit/theta/solver/smtlib/impl/princess/PrincessSmtLibItpSolver.java +++ b/subprojects/solver/solver-smtlib/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 { - private final Map, String> assertionNames = new HashMap<>(); - private static final String assertionNamePattern = "_smtinterpol_assertion_%d"; + private final Map, String> assertionNames = new IdentityHashMap<>(); + private static final String assertionNamePattern = "_princess_assertion_%d"; private static long assertionCount = 0; public PrincessSmtLibItpSolver(