Changes in tests/unified_locking/timeout_lock.cfa [ab388c5:b984d54]

File:

• tests/unified_locking/timeout_lock.cfa (modified) (3 diffs)

tests/unified_locking/timeout_lock.cfa

@@ -1 +1 @@
 #include <stdio.h>
-#include <locks.hfa>
-#include <alarm.hfa>
+#include "locks.hfa"
+#include "alarm.hfa"
 #include <stdlib.hfa>
 #include <thread.hfa>
-#include <kernel.hfa>
+#include "kernel.cfa"
 
 multiple_acquisition_lock m, n;
@@ -33 +33 @@
 
         for ( unsigned int i = 0; i < NoOfTimes + 3; i += 1 ) {
-            if ( wait( c_m, m, 1000000`ns ) ) {
+            if ( wait( c_m, m, 1000000`ns ) ) { 
                         // printf("Thread: %p signalled\n", active_thread()); // removed since can't expect non deterministic output
             } else {
@@ -73 +73 @@
         processor p[2];
         printf("Start Test 1: surface testing condition variable timeout routines\n");
-        wait( c_m, 1`ns );                                                                                                              // bool wait( condition_variable(L) & this, Duration duration );
+        wait( c_m, 1`ns );                                                                                                              // bool wait( condition_variable(L) & this, Duration duration );        
         wait( c_m, 10, 1`ns );                                                                                                  // bool wait( condition_variable(L) & this, uintptr_t info, Duration duration );
         lock(m); wait( c_m, m, 1`ns ); unlock(m);                                                               // bool wait( condition_variable(L) & this, L & l, Duration duration );