From 4e1bd8a5a7d543e953156af0ad334138c2eee425 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nils=20O=2E=20Sel=C3=A5sdal?= <noselasd@fiane.dyndns.org>
Date: Thu, 25 Apr 2013 23:07:20 +0200
Subject: [PATCH] Add test case for seq.h

---
 test/test_seq.c | 84 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 84 insertions(+)
 create mode 100644 test/test_seq.c

diff --git a/test/test_seq.c b/test/test_seq.c
new file mode 100644
index 0000000..054a6c7
--- /dev/null
+++ b/test/test_seq.c
@@ -0,0 +1,84 @@
+#include <check.h>
+#include <ucore/seq.h>
+
+
+START_TEST (test_uc_seq_lt)
+    fail_if(uc_seq_lt(0, 1) != 1);
+    fail_if(uc_seq_lt(0x7fffffffU, 0x80000000U) != 1);
+    fail_if(uc_seq_lt(0xfffffffeU, 2) != 1);
+    fail_if(uc_seq_lt(0xffffffffU, 0) != 1);
+
+    fail_if(uc_seq_lt(1, 0) != 0);
+    fail_if(uc_seq_lt(0x80000000U,0x7fffffffU) != 0);
+    fail_if(uc_seq_lt(2, 0xfffffffeU) != 0);
+    fail_if(uc_seq_lt(0, 0xffffffffU) != 0);
+    fail_if(uc_seq_lt(0, 0) != 0);
+    fail_if(uc_seq_lt(1, 1) != 0);
+    fail_if(uc_seq_lt(0xffffffffU, 0xffffffffU) != 0);
+END_TEST
+
+START_TEST (test_uc_seq_gt)
+    fail_if(uc_seq_gt(1, 0) != 1);
+    fail_if(uc_seq_gt(0x80000000U,0x7fffffffU) != 1);
+    fail_if(uc_seq_gt(2, 0xfffffffeU) != 1);
+    fail_if(uc_seq_gt(0, 0xffffffffU) != 1);
+
+    fail_if(uc_seq_gt(0, 1) != 0);
+    fail_if(uc_seq_gt(0x7fffffffU, 0x80000000U) != 0);
+    fail_if(uc_seq_gt(0xfffffffeU, 2) != 0);
+    fail_if(uc_seq_gt(0xffffffffU, 0) != 0);
+    fail_if(uc_seq_gt(0, 0) != 0);
+    fail_if(uc_seq_gt(1, 1) != 0);
+    fail_if(uc_seq_gt(0xffffffffU, 0xffffffffU) != 0);
+END_TEST
+
+START_TEST (test_uc_seq_leq)
+    fail_if(uc_seq_leq(0, 1) != 1);
+    fail_if(uc_seq_leq(0x7fffffffU, 0x80000000U) != 1);
+    fail_if(uc_seq_leq(0xfffffffeU, 2) != 1);
+    fail_if(uc_seq_leq(0xffffffffU, 0) != 1);
+    fail_if(uc_seq_leq(0x7fffffffU, 0x7fffffffU) != 1);
+    fail_if(uc_seq_leq(0x80000000U, 0x80000000U) != 1);
+    fail_if(uc_seq_leq(0, 0) != 1);
+    fail_if(uc_seq_leq(1, 1) != 1);
+    fail_if(uc_seq_leq(0xffffffffU, 0xffffffffU) != 1);
+
+    fail_if(uc_seq_leq(1, 0) != 0);
+    fail_if(uc_seq_leq(0x80000000U,0x7fffffffU) != 0);
+    fail_if(uc_seq_leq(2, 0xfffffffeU) != 0);
+    fail_if(uc_seq_leq(0, 0xffffffffU) != 0);
+END_TEST
+
+START_TEST (test_uc_seq_geq)
+    fail_if(uc_seq_geq(1, 0) != 1);
+    fail_if(uc_seq_geq(0x80000000U,0x7fffffffU) != 1);
+    fail_if(uc_seq_geq(2, 0xfffffffeU) != 1);
+    fail_if(uc_seq_geq(0, 0xffffffffU) != 1);
+    fail_if(uc_seq_geq(0, 0) != 1);
+    fail_if(uc_seq_geq(1, 1) != 1);
+    fail_if(uc_seq_geq(0xffffffffU, 0xffffffffU) != 1);
+    fail_if(uc_seq_geq(0x7fffffffU, 0x7fffffffU) != 1);
+    fail_if(uc_seq_geq(0x80000000U, 0x80000000U) != 1);
+
+    fail_if(uc_seq_geq(0, 1) != 0);
+    fail_if(uc_seq_geq(0x7fffffffU, 0x80000000U) != 0);
+    fail_if(uc_seq_geq(0xfffffffeU, 2) != 0);
+    fail_if(uc_seq_geq(0xffffffffU, 0) != 0);
+
+END_TEST
+
+
+Suite *seq_suite(void)
+{
+    Suite *s = suite_create("seq");
+    TCase *tc = tcase_create("seq tests");
+    tcase_add_test(tc, test_uc_seq_lt);
+    tcase_add_test(tc, test_uc_seq_gt);
+    tcase_add_test(tc, test_uc_seq_leq);
+    tcase_add_test(tc, test_uc_seq_geq);
+
+    suite_add_tcase(s, tc);
+
+    return s;
+}
+