Code to improve search by pruning certain types of repair..

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

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index c0dca65c8e07c8828f5dcbdc0933a8701f885515..9ecf6a653a6e40209b1e04f5cc0ed30b898fbe6a 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -19,7 +19,9 @@ import MCC.IR.*;
 public class Compiler {
     /* Set this flag to false to turn repairs off */
     public static boolean REPAIR=true;
-    
+    public static boolean AGGRESSIVESEARCH=false;
+    public static boolean PRUNEQUANTIFIERS=false;
+
     public static void main(String[] args) {
         State state = null;
         boolean success = true;