85 lines
2.6 KiB
C
85 lines
2.6 KiB
C
#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;
|
|
}
|
|
|