File[] srcFiles = {
// new File(Environment.MODEL_CHECKER_TEST_DIR +
// "/backup_linuxrwlocks.c") };
- // new File(homeDir + "/benchmark/linuxrwlocks/linuxrwlocks.c")
- // };
+ new File(homeDir + "/benchmark/linuxrwlocks/linuxrwlocks.c")
+ };
// new File(homeDir
// +
// "/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h"),
// };
- new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
- new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
+// new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
+// new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
// new File(homeDir + "/benchmark/test/test.c") };
CodeGenerator gen = new CodeGenerator(srcFiles);
gen.generateCode();