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/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.c") };
// new File(homeDir + "/benchmark/test/test.c") };