From 70980046edb4d8ee6bc7966a8c0161f895cfe968 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Mon, 10 Jul 2017 14:07:23 +0200
Subject: [PATCH] Add more tests.

---
 tests/test-mshared.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tests/test-mshared.c b/tests/test-mshared.c
index 316dc5b4..d33727cb 100644
--- a/tests/test-mshared.c
+++ b/tests/test-mshared.c
@@ -31,15 +31,18 @@ int main(void)
 
   shared_int_clean(p1);
   assert(shared_int_NULL_p(p1));
+  assert(!shared_int_NULL_p(p2));
   assert(f(p2) == 12);
   
   shared_int_set(p1, p2);
 
   shared_int_clean(p2);
+  assert(!shared_int_NULL_p(p1));  
   assert(shared_int_NULL_p(p2));
-
   assert(f(p1) == 12);
   shared_int_set(p2, p1);
+  assert(!shared_int_NULL_p(p1));  
+  assert(!shared_int_NULL_p(p2));
   assert(f(p2) == 12);
 
   shared_int_clean(p2);