From e4afb024b9991e75d872640be65498917a9855d5 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Wed, 5 Apr 2023 00:38:44 +0200
Subject: [PATCH] Improve coverage of test suite

---
 tests/test-mlist.c | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/tests/test-mlist.c b/tests/test-mlist.c
index 7f1bfd29..d5eafbd1 100644
--- a/tests/test-mlist.c
+++ b/tests/test-mlist.c
@@ -224,6 +224,22 @@ static void test_uint(void)
       s --;
     }
 
+  for(unsigned i = 10; i < 21; i++)
+    list_uint_push_back (v, i);
+  list_uint_it (u, v);
+  list_uint_next(u);
+  list_uint_it_end (u2, v2);
+  for(unsigned i = 0; i < 10; i++) {
+    list_uint_splice_at (v2, u2, v, u);
+  }
+  assert (list_uint_size(v) == 1);
+  assert (list_uint_size (v2) == 20);
+  s = 19.0;
+  for M_EACH(item, v2, LIST_UINT_OPLIST) {
+      assert (*item == s);
+      s -= 1.0;
+  }
+
   list_uint_clear(v);
   list_uint_clear(v2);
 }
@@ -243,12 +259,20 @@ static void test_mpz(void)
   testobj_set_ui (z, 2);
   list_mpz_push_back(v, z);
   assert (list_mpz_empty_p(v) == false);
+  assert (list_mpz_size(v) == 1);
 
   list_mpz_pop_back(&x, v);
   assert( testobj_equal_p (x, z));
   assert (list_mpz_empty_p(v) == true);
   assert (list_mpz_size(v) == 0);
 
+  list_mpz_push_back(v, z);
+  assert (list_mpz_empty_p(v) == false);
+  assert (list_mpz_size(v) == 1);
+  list_mpz_pop_back(NULL, v);
+  assert (list_mpz_empty_p(v) == true);
+  assert (list_mpz_size(v) == 0);
+
   for(unsigned int i = 0; i < 1000; i ++) {
     testobj_set_ui (z, i);
     list_mpz_push_back(v, z);
@@ -644,6 +668,22 @@ static void test_dual_it1(void)
       s -= 1.0;
     }
 
+  for(double i = 10; i < 21; i++)
+    list2_double_push_back (list, i);
+  list2_double_it (it, list);
+  list2_double_next(it);
+  list2_double_it_end (it2, list2);
+  for(double i = 0; i < 10; i++) {
+    list2_double_splice_at (list2, it2, list, it);
+  }
+  assert (list2_double_size(list) == 1);
+  assert (list2_double_size (list2) == 20);
+  s = 19.0;
+  for M_EACH(item, list2, LIST2_DOUBLE_OPLIST) {
+      assert (*item == s);
+      s -= 1.0;
+    }
+
   list2_double_clear(list2);
   list2_double_clear(list);
 }