Changes in tests/unified_locking/locks.cfa [84f49be:ebd1899]

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");
         {
@@ -280 +281 @@
         printf("Done Test 10\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");
-}
+        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");
+}