save it

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / codeGenerator / Environment.java

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java b/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java
index f4e75cc49348c4752c342425bb46b7b39b53cbb0..654e57974b45cb5388ba54695fea3fede47c95de 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java
+++ b/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java
@@ -2,4 +2,8 @@ package edu.uci.eecs.specCompiler.codeGenerator;
 
 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";
+       public static String MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_HOME_DIR + "/test";
 }