HashSet<String> headers = CodeVariables.getAllHeaders(_semantics);
ArrayList<String> headerCode = new ArrayList<String>(headers.size());
for (String header : headers) {
- headerCode.add("#include " + header + ";");
+ headerCode.add("#include " + header);
}
for (File file : codeAdditions.keySet()) {
ArrayList<CodeAddition> additions = codeAdditions.get(file);
public static void main(String[] argvs) {
String homeDir = Environment.HOME_DIRECTORY;
File[] srcFiles = {
- // new File(Environment.MODEL_CHECKER_TEST_DIR +
- // "/backup_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/main.c"),
- new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
- // new File(homeDir + "/benchmark/test/test.c") };
+// new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
+// new File(homeDir + "/benchmark/ms-queue/main.c"),
+// new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
+
+ new File(homeDir + "/benchmark/read-copy-update/rcu.cc") };
CodeGenerator gen = new CodeGenerator(srcFiles);
gen.generateCode();
}