add support for "C_RET, S_RET, JustifyingPre/Postconditions"

[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 5e16b15f672ec3a039082d3bf4a43afe4bb29eec..9a7be19f01e66b33c1a7fa1402529b651385bf7c 100644 (file)
--- a/src/edu/uci/eecs/codeGenerator/Environment.java
+++ b/src/edu/uci/eecs/codeGenerator/Environment.java
@@ -36,8 +36,11 @@ public class Environment {
        public final static String SPSC = "spsc-bugfix";
        public final static String MPMC = "mpmc-queue";
        
+       public final static String BLOCKING_QUEUE_EXAMPLE = "blocking-mpmc-example";
+       
        public final static String[] Benchmarks = {
-               REGISTER,
+               REGISTER_ACQREL,
+               REGISTER_RELAXED,
                MS_QUEUE,
                LINUXRWLOCKS,
                MCS_LOCK,
@@ -48,7 +51,8 @@ public class Environment {
                READ_COPY_UPDATE,
                CONCURRENT_MAP,
                SPSC,
-               MPMC
+               MPMC,
+               BLOCKING_QUEUE_EXAMPLE,
        }; 
 
 }