From aaa67b0ef8840d97b062a4f1383bf93410984af3 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Fri, 30 Jul 2021 10:04:27 +0200 Subject: Numeric solver dreal hardcoding -> config --- .../src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.dse') diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java index 6e0abd0b..5448d61a 100644 --- a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java +++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java @@ -212,7 +212,7 @@ public class SolutionStore { unsavedSolutionCallbacks(context, solutionTrajectory); return; } - System.out.println("SAVING SOLUTION"); +// System.out.println("SAVING SOLUTION"); boolean solutionSaved = solutionSaver.saveSolution(context, id, solutionTrajectory); if (solutionSaved) { -- cgit v1.2.3-70-g09d2