more
[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / codeGenerator / Environment.java
index 654e579..d48462a 100644 (file)
@@ -4,6 +4,11 @@ public class Environment {
        public static String HOME_DIRECTORY = System.getProperty("user.dir");
        public static String GENERATED_FILE_DIR = HOME_DIRECTORY + "/" + "output";
        public static String MODEL_CHECKER_HOME_DIR = System
        public static String HOME_DIRECTORY = System.getProperty("user.dir");
        public static String GENERATED_FILE_DIR = HOME_DIRECTORY + "/" + "output";
        public static String MODEL_CHECKER_HOME_DIR = System
-                       .getProperty("user.home") + "/model-checker-priv";
+                       .getProperty("user.home") + "/test/model-checker-priv";
        public static String MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_HOME_DIR + "/test";
        public static String MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_HOME_DIR + "/test";
+       
+       public static String MS_QUEUE = MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_TEST_DIR + "/ms-queue";
+       public static String LINUXRWLOCKS = MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_TEST_DIR + "/linuxrwlocks";
+       public static String CLIFFC_HASHTABLE = MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_TEST_DIR + "/cliffc-hashtable";
+                       
 }
 }