From d80ae17ea4177f385540f61711f9bd945ac69006 Mon Sep 17 00:00:00 2001
From: Michael Ploujnikov <ploujj@gmail.com>
Date: Wed, 10 Feb 2010 20:47:13 -0500
Subject: [PATCH] test simple-sync: avoid a race condition in output checking
 by using an assert

---
 tests/30backend-threadpool.tests | 1 -
 tests/backend/test-threadpool.c  | 3 ++-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/30backend-threadpool.tests b/tests/30backend-threadpool.tests
index 1cb5c322c..15bd3419b 100644
--- a/tests/30backend-threadpool.tests
+++ b/tests/30backend-threadpool.tests
@@ -27,7 +27,6 @@ END
 
 TEST "simple sync" simple-sync <<END
 err: syncing with the other thread
-err: the other thread received its arguments
 err: result is 0
 END
 
diff --git a/tests/backend/test-threadpool.c b/tests/backend/test-threadpool.c
index fa8d8d71a..754bb36fb 100644
--- a/tests/backend/test-threadpool.c
+++ b/tests/backend/test-threadpool.c
@@ -59,6 +59,7 @@ void other_fn(void * arg)
 {
   int input = *(int *)arg;
   lumiera_thread_sync (); // the main thread can discard the argument storage
+  CHECK (input == 42, "input is not 42, but %d", input);
   input -= 42;
   ECHO ("result is %d", input);
 }
@@ -288,8 +289,8 @@ TEST ("simple-sync")
 
   ECHO ("syncing with the other thread");
   lumiera_thread_sync_other (other);
-  ECHO ("the other thread received its arguments");
   value += 42;
+  CHECK (value == 42*2, "value is not equal to 42*2=84, but %d", value);
 
   lumiera_threadpool_destroy ();
 }