edits

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

diff --git a/src/edu/uci/eecs/codeGenerator/Environment.java b/src/edu/uci/eecs/codeGenerator/Environment.java
index 563babbbd15d518706dda3b8cb77ec11fbf1789a..bbdfa9ec5dce9bc5015e58e2a0924eb00168d3e2 100644 (file)
--- a/src/edu/uci/eecs/codeGenerator/Environment.java
+++ b/src/edu/uci/eecs/codeGenerator/Environment.java
@@ -22,7 +22,8 @@ public class Environment {
                        + "/test-cdsspec/";
        public final static String GeneratedFilesDir = ModelCheckerTestDir;
 
-       public final static String REGISTER = "register";
+       public final static String REGISTER_ACQREL = "register-acqrel";
+       public final static String REGISTER_RELAXED = "register-relaxed";
        public final static String MS_QUEUE = "ms-queue";
        public final static String LINUXRWLOCKS = "linuxrwlocks";
        public final static String MCS_LOCK = "mcs-lock";
@@ -36,7 +37,8 @@ public class Environment {
        public final static String MPMC = "mpmc-queue";
        
        public final static String[] Benchmarks = {
-               REGISTER,
+               REGISTER_ACQREL,
+               REGISTER_RELAXED,
                MS_QUEUE,
                LINUXRWLOCKS,
                MCS_LOCK,