add support for "C_RET, S_RET, JustifyingPre/Postconditions"
authorPeizhao Ou <peizhaoo@uci.edu>
Tue, 12 Jul 2016 08:58:40 +0000 (01:58 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Tue, 12 Jul 2016 08:58:40 +0000 (01:58 -0700)
src/edu/uci/eecs/codeGenerator/Environment.java
src/edu/uci/eecs/specExtraction/SpecExtractor.java

index f9665b7..9a7be19 100644 (file)
@@ -36,20 +36,23 @@ 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_ACQREL,
-//             REGISTER_RELAXED,
+               REGISTER_ACQREL,
+               REGISTER_RELAXED,
                MS_QUEUE,
-//             LINUXRWLOCKS,
-//             MCS_LOCK,
-//             DEQUE,
-//             TREIBER_STACK,
-//             TICKET_LOCK,
-//             SEQLOCK,
-//             READ_COPY_UPDATE,
-//             CONCURRENT_MAP,
-//             SPSC,
-//             MPMC
+               LINUXRWLOCKS,
+               MCS_LOCK,
+               DEQUE,
+               TREIBER_STACK,
+               TICKET_LOCK,
+               SEQLOCK,
+               READ_COPY_UPDATE,
+               CONCURRENT_MAP,
+               SPSC,
+               MPMC,
+               BLOCKING_QUEUE_EXAMPLE,
        }; 
 
 }
index a12ce25..8c47855 100644 (file)
@@ -624,7 +624,7 @@ public class SpecExtractor {
                        lineReader = new LineNumberReader(br);
                        // "/\*\*\s*@(DeclareState|Interface)"
                        Pattern regexpBegin = Pattern
-                                       .compile("/\\*\\*\\s*@(DeclareState|Interface|PreCondition|JustifyingCondition|Transition|JustifyingPostcondition|PostCondition|Define)");
+                                       .compile("/\\*\\*\\s*@(DeclareState|Interface|PreCondition|JustifyingPrecondition|Transition|JustifyingPostcondition|PostCondition|Define)");
                        Matcher matcher = regexpBegin.matcher("");
 
                        String line;