From b2e237de09fd4c859b593be430c62696513331bc Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Wed, 12 Sep 2012 11:33:57 +0000
Subject: [PATCH] Kodkod: - disabled dump file - raised log level to "severe"
(no info messages)
git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@11722 7aec93f6-bc54-0410-ac70-7d7c9efa889a
---
src/de/stups/probkodkod/KodkodInteraction.java | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/src/de/stups/probkodkod/KodkodInteraction.java b/src/de/stups/probkodkod/KodkodInteraction.java
index 4fbecfe..6049622 100644
--- a/src/de/stups/probkodkod/KodkodInteraction.java
+++ b/src/de/stups/probkodkod/KodkodInteraction.java
@@ -74,9 +74,9 @@ public class KodkodInteraction {
filehandler.setFormatter(new SimpleFormatter());
logger.setUseParentHandlers(false);
logger.addHandler(filehandler);
- logger.setLevel(Level.ALL);
+ logger.setLevel(Level.SEVERE);
- final FileWriter fw = new FileWriter("dump.txt");
+ final FileWriter fw = createDumpFile();
final Reader in;
final PrintWriter out;
@@ -102,4 +102,9 @@ public class KodkodInteraction {
e.printStackTrace();
}
}
+
+ protected static FileWriter createDumpFile() throws IOException {
+ return null;
+ // return new FileWriter("dump.txt");
+ }
}
--
GitLab