tweak
[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / codeGenerator / Environment.java
1 package edu.uci.eecs.specCompiler.codeGenerator;
2
3 public class Environment {
4         public static String HOME_DIRECTORY = System.getProperty("user.dir");
5         public static String GENERATED_FILE_DIR = HOME_DIRECTORY + "/" + "output";
6         public static String MODEL_CHECKER_HOME_DIR = System
7                         .getProperty("user.home") + "/model-checker-priv";
8         public static String MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_HOME_DIR + "/test";
9 }