From af9be8c5e80494d5e68be1aa61a0c90eab516208 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Sun, 8 Dec 2013 22:27:26 -0800 Subject: [PATCH] save --- .../eecs/specCompiler/codeGenerator/CodeGenerator.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java index 2e44f5a..b23ec8c 100644 --- a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java +++ b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java @@ -246,14 +246,14 @@ public class CodeGenerator { 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(); -- 2.34.1