From: bdemsky <bdemsky>
Date: Mon, 17 May 2004 22:04:32 +0000 (+0000)
Subject: Enable quiet output...
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=8c70ade5321e9fa0cfb2e98837f3402d4fc84983;p=repair.git

Enable quiet output...
---

diff --git a/Repair/RepairCompiler/MCC/CLI.java b/Repair/RepairCompiler/MCC/CLI.java
index 11f479a..2f1f283 100755
--- a/Repair/RepairCompiler/MCC/CLI.java
+++ b/Repair/RepairCompiler/MCC/CLI.java
@@ -11,7 +11,7 @@ import java.util.StringTokenizer;
  * files.
  *
  * @author  le01, 6.035 Staff (<tt>6.035-staff@mit.edu</tt>)
- * @version <tt>$Id: CLI.java,v 1.5 2004/05/11 21:14:24 bdemsky Exp $</tt>
+ * @version <tt>$Id: CLI.java,v 1.6 2004/05/17 22:04:32 bdemsky Exp $</tt>
  */
 public class CLI {
     /**
@@ -104,6 +104,8 @@ public class CLI {
                 debug = true;
 	    } else if (args[i].equals("-checkonly")) {
                 Compiler.REPAIR=false;
+	    } else if (args[i].equals("-debug")) {
+                Compiler.GENERATEDEBUGHOOKS=true;
 	    } else if (args[i].equals("-aggressivesearch")) {
                 Compiler.AGGRESSIVESEARCH=true;
 	    } else if (args[i].equals("-prunequantifiernodes")) {
diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index abdf07c..f5dcfe1 100755
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -21,7 +21,7 @@ public class Compiler {
     public static boolean REPAIR=true;
     public static boolean AGGRESSIVESEARCH=false;
     public static boolean PRUNEQUANTIFIERS=false;
-    public static boolean GENERATEDEBUGHOOKS=true;
+    public static boolean GENERATEDEBUGHOOKS=false;
     public static boolean GENERATEDEBUGPRINT=false;
 
     public static void main(String[] args) {