MCC files

[repair.git] / Repair / RepairCompiler / MCC / test.model

diff --git a/Repair/RepairCompiler/MCC/test.model b/Repair/RepairCompiler/MCC/test.model
new file mode 100755 (executable)
index 0000000..2c4e062
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/test.model
@@ -0,0 +1 @@
+[], true => literal(0) in SuperBlock;