1999-02-23 Ross Johnson <rpj@ise.canberra.edu.au>

        * Makefile: Some refinement.
        * *.c: More exhaustive checking through assertions; clean up;
        add some more tests.

1 files changed, 12 insertions, 13 deletions

diff --git a/tests/mutex1.c b/tests/mutex1.c
index f1c9240..60bb4e7 100644
--- a/tests/mutex1.c
+++ b/tests/mutex1.c
@@ -3,29 +3,28 @@
  *
  * Create a simple mutex object, lock it, and then unlock it again.
  * This is the simplest test of the pthread mutex family that we can do.
+ *
+ * Depends on API functions:
+ * 	pthread_mutex_init()
+ *	pthread_mutex_lock()
+ *	pthread_mutex_unlock()
+ *	pthread_mutex_destroy()
  */
 
-#include <pthread.h>
+#include "test.h"
 
 pthread_mutex_t mutex1;
 
 int
 main()
 {
-  if (pthread_mutex_init(&mutex1, NULL) != 0)
-    {
-      return 1;
-    }
+  assert(pthread_mutex_init(&mutex1, NULL) == 0);
+
+  assert(pthread_mutex_lock(&mutex1) == 0);
 
-  if (pthread_mutex_lock(&mutex1) != 0)
-    {
-      return 1;
-    }
+  assert(pthread_mutex_unlock(&mutex1) == 0);
 
-  if (pthread_mutex_unlock(&mutex1) != 0)
-    {
-      return 1;
-    }
+  assert(pthread_mutex_destroy(&mutex1) == 0);
 
   return 0;
 }