Let test select SimplificationTechnique

ultimate-pa · Feb 16, 2023 · 66da1b6 · 66da1b6
1 parent 382b9bf
commit 66da1b6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...est/src/de/uni_freiburg/informatik/ultimate/modelcheckerutils/smt/SimplificationTest.java b/...est/src/de/uni_freiburg/informatik/ultimate/modelcheckerutils/smt/SimplificationTest.java
@@ -607,8 +607,8 @@ static void runSimplificationTest(final FunDecl[] funDecls, final String elimina
 		final Term letFree = new FormulaUnLet().transform(formulaAsTerm);
 		final Term unf = new UnfTransformer(mgdScript.getScript()).transform(letFree);
 
-		final ExtendedSimplificationResult esr =
-				SmtUtils.simplifyWithStatistics(mgdScript, unf, services, SimplificationTechnique.POLY_PAC);
+		final ExtendedSimplificationResult esr = SmtUtils.simplifyWithStatistics(mgdScript, unf, services,
+				simplificationTechnique);
 		final Term result = esr.getSimplifiedTerm();
 		logger.info("Simplified result: " + esr.getSimplifiedTerm());
 		logger.info(esr.buildSizeReductionMessage());