Changeset ebd1899

Timestamp:

Dec 21, 2020, 9:58:19 AM (4 years ago)

Author:

caparsons <caparson@…>

Branches:

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

Children:

de2f969

Parents:

089b1a9a

Message:

tweaked unified locking tests and added expect files

Location:

tests

Files:

• .expect/locks.txt (added)
• .expect/timeout_lock.txt (added)
• unified_locking/locks.cfa (moved) (moved from tests/locks.cfa)
• unified_locking/timeout_lock.cfa (moved) (moved from tests/timeout_lock.cfa) (2 diffs)

tests/unified_locking/timeout_lock.cfa

@@ -26 +26 @@
         lock(m);
         wait( c_m, m, 1`s );
-        printf("Thread: %p timedout\n", active_thread());
+        // printf("Thread: %p timedout\n", active_thread()); // removed since can't expect non deterministic output
 
         block();
@@ -34 +34 @@
         for ( unsigned int i = 0; i < NoOfTimes + 3; i += 1 ) {
             if ( wait( c_m, m, 1`s ) ) { 
-                        printf("Thread: %p signalled\n", active_thread());
+                        // printf("Thread: %p signalled\n", active_thread()); // removed since can't expect non deterministic output
             } else {
-                        printf("Thread: %p timedout\n", active_thread());
+                        // printf("Thread: %p timedout\n", active_thread()); // removed since can't expect non deterministic output
             } // if