use parikh witness

lip6 · May 4, 2024 · e156bf9 · e156bf9
1 parent 143f7e0
commit e156bf9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...ove.gal.application.pnmcc/src/fr/lip6/move/gal/application/solver/ReachabilitySolver.java b/...ove.gal.application.pnmcc/src/fr/lip6/move/gal/application/solver/ReachabilitySolver.java
@@ -107,7 +107,7 @@ public static void applyReductions(MccTranslator reader, DoneProperties doneProp
 				if (newMode) {
 
 					ProblemSet problems = SMTBasedReachabilitySolver.prepareProblemSet(props, doneProps);
-					iter += SMTBasedReachabilitySolver.solveProblems(problems, spn, 10000, false, repr);
+					iter += SMTBasedReachabilitySolver.solveProblems(problems, spn, 10000, true, repr);
 					cleanupLists(props, doneProps, tocheck, tocheckIndexes);
 
 					int replayed = tryReplayParikh(problems, doneProps, repr, re, timeout);