Changeset 2daea42 for tests/unified_locking/locks.cfa

Timestamp:

Dec 22, 2020, 3:17:19 PM (4 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

bd144fd

Parents:

302ef2a (diff), c2409fd (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/unified_locking/locks.cfa (modified) (2 diffs)

tests/unified_locking/locks.cfa

@@ -219 +219 @@
 int main() {
         processor p[2];
-        wait( c_s, 1`ns );
         printf("Start Test 1: multi acquisition lock and condition variable single wait/notify\n");
         {
@@ -281 +280 @@
         printf("Done Test 10\n");
 
-        printf("Start Test 11: unlocked condition variable delay wait\n");
-        {
-                T_C_NLWD t1;
-                T_C_WDS t2;
-        }
-        printf("Done Test 11\n");
-
-        printf("Start Test 12: locked condition variable delay wait with unlocked signal\n");
-        {
-                T_C_LWD t1;
-                T_C_WDS t2;
-        }
-        printf("Done Test 12\n");
-
-        printf("Start Test 13: locked condition variable delay wait with locked signal\n");
-        {
-                T_C_LWD t1;
-                T_C_LWDS t2;
-        }
-        printf("Done Test 13\n");
-}
+        // removed to limit test duration. Full test is in long run tests
+        // printf("Start Test 11: unlocked condition variable delay wait\n");
+        // {
+        //      T_C_NLWD t1;
+        //      T_C_WDS t2;
+        // }
+        // printf("Done Test 11\n");
+
+        // printf("Start Test 12: locked condition variable delay wait with unlocked signal\n");
+        // {
+        //      T_C_LWD t1;
+        //      T_C_WDS t2;
+        // }
+        // printf("Done Test 12\n");
+
+        // printf("Start Test 13: locked condition variable delay wait with locked signal\n");
+        // {
+        //      T_C_LWD t1;
+        //      T_C_LWDS t2;
+        // }
+        // printf("Done Test 13\n");
+}