From f3d245aef3a5eeda6b361024d46c49fe634bb9ee Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Mon, 5 Nov 2012 17:35:40 +0000
Subject: [PATCH] - added check directly at start-up if a SAT solver can be
 used - log level is now increased to SEVERE

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@12350 7aec93f6-bc54-0410-ac70-7d7c9efa889a
---
 src/de/stups/probkodkod/KodkodInteraction.java | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/de/stups/probkodkod/KodkodInteraction.java b/src/de/stups/probkodkod/KodkodInteraction.java
index 6049622..847b967 100644
--- a/src/de/stups/probkodkod/KodkodInteraction.java
+++ b/src/de/stups/probkodkod/KodkodInteraction.java
@@ -4,6 +4,7 @@ import java.io.FileWriter;
 import java.io.IOException;
 import java.io.InputStreamReader;
 import java.io.OutputStreamWriter;
+import java.io.PrintStream;
 import java.io.PrintWriter;
 import java.io.Reader;
 import java.util.logging.FileHandler;
@@ -12,6 +13,7 @@ import java.util.logging.Level;
 import java.util.logging.Logger;
 import java.util.logging.SimpleFormatter;
 
+import kodkod.engine.satlab.SATFactory;
 import de.prob.prolog.output.IPrologTermOutput;
 import de.prob.prolog.output.PrologTermOutput;
 import de.stups.probkodkod.parser.lexer.Lexer;
@@ -74,7 +76,7 @@ public class KodkodInteraction {
 			filehandler.setFormatter(new SimpleFormatter());
 			logger.setUseParentHandlers(false);
 			logger.addHandler(filehandler);
-			logger.setLevel(Level.SEVERE);
+			logger.setLevel(Level.INFO);
 
 			final FileWriter fw = createDumpFile();
 			final Reader in;
@@ -91,6 +93,8 @@ public class KodkodInteraction {
 						System.out), merge.createWriter("Kodkod:")));
 			}
 
+			is_up_and_running(System.out);
+
 			KodkodInteraction interaction = new KodkodInteraction();
 			interaction.interaction(in, out);
 
@@ -103,6 +107,11 @@ public class KodkodInteraction {
 		}
 	}
 
+	private static void is_up_and_running(PrintStream out) {
+		SATFactory satfac = SolverChecker.determineSatFactory();
+		out.println("ProB-Kodkod started: " + satfac.toString());
+	}
+
 	protected static FileWriter createDumpFile() throws IOException {
 		return null;
 		// return new FileWriter("dump.txt");
-- 
GitLab