X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FCompiler.java;h=04ad0bad552606b1f42f608d689d717009a34272;hp=9ecf6a653a6e40209b1e04f5cc0ed30b898fbe6a;hb=fcb08dbb9564da3732dd8b0cbf0088d0f9826541;hpb=860ccbdf9cd6f96c6bba58641372b6776987a080

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index 9ecf6a6..04ad0ba 100755
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -21,6 +21,13 @@ public class Compiler {
     public static boolean REPAIR=true;
     public static boolean AGGRESSIVESEARCH=false;
     public static boolean PRUNEQUANTIFIERS=false;
+    public static boolean GENERATEDEBUGHOOKS=false;
+    public static boolean GENERATEDEBUGPRINT=false;
+    public static boolean GENERATEINSTRUMENT=false;
+    public static boolean ALLOCATECPLUSPLUS=false;
+    public static boolean TIME=false;
+    
+    public static Vector debuggraphs=new Vector();
 
     public static void main(String[] args) {
         State state = null;
@@ -57,6 +64,7 @@ public class Compiler {
 	success = semantics(state) || error(state, "Semantic analysis failed, not attempting variable initialization.");
 	
 	
+	state.setanalysis=new SetAnalysis(state);
 	Termination termination=null;
 	/* Check partition constraints */
 	(new ImplicitSchema(state)).update();
@@ -193,8 +201,8 @@ public class Compiler {
             System.err.println("Unable to open file: " + state.infile + ".struct");
             System.exit(-1);
 	} catch (Exception e) {
-	    //	    System.out.println(e);
-	    //	    e.printStackTrace();
+	    System.out.println(e);
+	    e.printStackTrace();
 	    return false;
 	}
 
@@ -211,8 +219,8 @@ public class Compiler {
             System.err.println("Unable to open file: " + state.infile + ".model");
             System.exit(-1);
 	} catch (Exception e) {
-	    //	    System.out.println(e);
-	    //	    e.printStackTrace();
+	    System.out.println(e);
+	    e.printStackTrace();
 	    return false;
 	}
 
@@ -247,8 +255,8 @@ public class Compiler {
             System.err.println("Unable to open file: " + state.infile + ".constraints");
             System.exit(-1);
 	} catch (Exception e) {
-	    //	    System.out.println(e);
-	    //	    e.printStackTrace();
+	    System.out.println(e);
+	    e.printStackTrace();
 	    return false;
 	}