projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Code to improve search by pruning certain types of repair..
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
CLI.java
diff --git
a/Repair/RepairCompiler/MCC/CLI.java
b/Repair/RepairCompiler/MCC/CLI.java
index a8b2bce0e245eb0b243593eb945052ab87d476f4..11f479a8a47382afd1346d35d0a4af1e69164a64 100755
(executable)
--- 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>)
* files.
*
* @author le01, 6.035 Staff (<tt>6.035-staff@mit.edu</tt>)
- * @version <tt>$Id: CLI.java,v 1.
4 2004/05/10 21:54:40
bdemsky Exp $</tt>
+ * @version <tt>$Id: CLI.java,v 1.
5 2004/05/11 21:14:24
bdemsky Exp $</tt>
*/
public class CLI {
/**
*/
public class CLI {
/**
@@
-106,6
+106,8
@@
public class CLI {
Compiler.REPAIR=false;
} else if (args[i].equals("-aggressivesearch")) {
Compiler.AGGRESSIVESEARCH=true;
Compiler.REPAIR=false;
} else if (args[i].equals("-aggressivesearch")) {
Compiler.AGGRESSIVESEARCH=true;
+ } else if (args[i].equals("-prunequantifiernodes")) {
+ Compiler.PRUNEQUANTIFIERS=true;
} else if (args[i].equals("-verbose") || args[i].equals("-v")) {
context = 0;
verbose++;
} else if (args[i].equals("-verbose") || args[i].equals("-v")) {
context = 0;
verbose++;