Adding code to generate repair algorithms. Its not complete yet...

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

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index 7773d7fa9a47dd14b57f61dfff0c9aab590c2fa5..ebda670ebd356603137db75373233fba87bd4b85 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -85,14 +85,16 @@ public class Compiler {
             
             try {
                 FileOutputStream gcode = new FileOutputStream(cli.infile + ".cc");
+                FileOutputStream gcode2 = new FileOutputStream(cli.infile + "_aux.cc");
+                FileOutputStream gcode3 = new FileOutputStream(cli.infile + "_aux.h");
 
                 // do model optimizations
                 //(new Optimizer(state)).optimize();
 
-                NaiveGenerator ng = new NaiveGenerator(state);
-                ng.generate(gcode);
-                //WorklistGenerator wg = new WorklistGenerator(state);
-                //wg.generate(gcode);
+                //NaiveGenerator ng = new NaiveGenerator(state);
+                //ng.generate(gcode);
+                RepairGenerator wg = new RepairGenerator(state);
+                wg.generate(gcode,gcode2,gcode3, cli.infile + "_aux.h");
                 gcode.close();
             } catch (Exception e) {
                 e.printStackTrace();