X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=src%2Fedu%2Fuci%2Feecs%2FspecCompiler%2FcodeGenerator%2FEnvironment.java;h=d48462aa18c201bc4948cdd8185ae65b5598e7c2;hp=654e57974b45cb5388ba54695fea3fede47c95de;hb=541ee814ad10bc181abd4d8825397249c6f86ad7;hpb=99de26ee130b9bbf2dd336c02ac63da7914296f3

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java b/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java
index 654e579..d48462a 100644
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java
+++ b/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java
@@ -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
-			.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 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";
+			
 }