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 -checkonly ex
25 Step 3: Compile checker
26 -----------------------
28 A) copy the Runtime directory in Repair/Ex:
29 cp -r <path to RepairCompiler>/MCC/Runtime .
30 B) copy generated files into the Runtime directory
31 cp ex.cc ex_aux.* size.* Runtime
32 C) remove old object files
35 E) build checking object:
39 Step 4: Check the application
40 -----------------------------
42 If ex_test.c is the application under testing, then:
47 B) at the beginning of the main method, add:
49 C) wherever you want to check the consistency constraints, add:
51 D) compile the application:
52 g++ -g ex_test.cc *.o -o ex_test
53 E) run the application: