From e156bf902ec3c43594fc0962b90a880aa8b4b9b4 Mon Sep 17 00:00:00 2001 From: Yann Thierry-Mieg Date: Sat, 4 May 2024 21:19:59 +0200 Subject: [PATCH] use parikh witness --- .../fr/lip6/move/gal/application/solver/ReachabilitySolver.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/solver/ReachabilitySolver.java b/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/solver/ReachabilitySolver.java index 5f076daa4b..ff90220ddf 100644 --- a/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/solver/ReachabilitySolver.java +++ b/pnmcc/fr.lip6.move.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);