1 Step 1: Building Compiler
2 -------------------------
11 For the specifs in ex.constraints, ex.struct, ex.space, ex.abstract, ex.model
12 in directory Repair/Ex:
15 B) java -classpath <path to RepairCompiler> MCC.Compiler ex
25 Step 3: Compile checker
26 -----------------------
28 A) copy generated files into Runtime directory
29 B) remove old object files rm *.o
31 D) build checking object: g++ -g -c ex_aux.cc
32 E) g++ -g ex_test.cc *.o