Updates to allow discovering of partial functions

[repair.git] / Repair / RepairCompiler / MCC / Compiler.java

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index 59609e99e993f1b2114856e033665520864c3dc5..fc4f7382a5de0a4ba7363b20ffc3314818e6c9d1 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -24,6 +24,8 @@ public class Compiler {
     public static boolean GENERATEDEBUGHOOKS=false;
     public static boolean GENERATEDEBUGPRINT=false;
     public static boolean GENERATEINSTRUMENT=false;
+    
+    public static Vector debuggraphs=new Vector();
 
     public static void main(String[] args) {
         State state = null;
@@ -60,6 +62,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();