aboutsummaryrefslogtreecommitdiffstats
path: root/CAN-binder/libs/bitfield-c/tests
diff options
context:
space:
mode:
authorRomain Forlot <romain.forlot@iot.bzh>2017-06-20 10:24:05 +0000
committerRomain Forlot <romain.forlot@iot.bzh>2017-06-20 10:24:05 +0000
commit32e25cbca210a359b09768537b6f443fe90a3070 (patch)
tree3309794c15d8a8f8e9c1c08cad072ee1378813ba /CAN-binder/libs/bitfield-c/tests
parent76c43dec62b2e21cd6446360c00d4fe6b437533f (diff)
Separation Generator to a dedicated repo
Change-Id: Id94831651c3266861435272a6e36c7884bef2c45 Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'CAN-binder/libs/bitfield-c/tests')
-rw-r--r--CAN-binder/libs/bitfield-c/tests/8byte_tests.c261
-rw-r--r--CAN-binder/libs/bitfield-c/tests/bitfield_tests.c132
-rw-r--r--CAN-binder/libs/bitfield-c/tests/read_tests.c67
-rw-r--r--CAN-binder/libs/bitfield-c/tests/write_tests.c105
4 files changed, 0 insertions, 565 deletions
diff --git a/CAN-binder/libs/bitfield-c/tests/8byte_tests.c b/CAN-binder/libs/bitfield-c/tests/8byte_tests.c
deleted file mode 100644
index 64554acc..00000000
--- a/CAN-binder/libs/bitfield-c/tests/8byte_tests.c
+++ /dev/null
@@ -1,261 +0,0 @@
-#include <check.h>
-#include <stdint.h>
-#include <bitfield/bitfield.h>
-#include <bitfield/8byte.h>
-
-START_TEST (test_large_bitmask)
-{
- uint64_t result = bitmask(32);
- fail_if(result != 0xffffffff);
-}
-END_TEST
-
-START_TEST (test_one_bit_not_swapped)
-{
- uint64_t data = 0x80;
- uint64_t result = eightbyte_get_bitfield(data, 0, 1, false);
- fail_if(result == 1);
-}
-END_TEST
-
-START_TEST (test_one_bit)
-{
- uint64_t data = 0x8000000000000000;
- uint64_t result = eightbyte_get_bitfield(data, 0, 1, false);
- fail_unless(result == 0x1,
- "First bit in 0x%llx was 0x%llx instead of 0x1", data, result);
-}
-END_TEST
-
-START_TEST (test_32_bit_parse)
-{
- uint64_t data = 0x0402574d555a0401;
- uint64_t result = eightbyte_get_bitfield(data, 16, 32, false);
- uint64_t expectedValue = 0x574d555a;
- fail_unless(result == expectedValue,
- "Field retrieved in 0x%llx was 0x%llx instead of 0x%llx", data,
- result, expectedValue);
-}
-END_TEST
-
-START_TEST (test_16_bit_parse)
-{
- uint64_t data = 0xF34DFCFF00000000;
- uint64_t result = eightbyte_get_bitfield(data, 16, 16, false);
- uint64_t expectedValue = 0xFCFF;
- fail_unless(result == expectedValue,
- "Field retrieved in 0x%llx was 0x%llx instead of 0x%llx", data,
- result, expectedValue);
-}
-END_TEST
-
-START_TEST (test_one_byte)
-{
- uint64_t data = 0xFA00000000000000;
- uint64_t result = eightbyte_get_bitfield(data, 0, 4, false);
- fail_unless(result == 0xF,
- "First nibble in 0x%llx was 0x%llx instead of 0xF", data, result);
- result = eightbyte_get_bitfield(data, 4, 4, false);
- fail_unless(result == 0xA,
- "Second nibble in 0x%llx was 0x%llx instead of 0xA", data, result);
- result = eightbyte_get_bitfield(data, 0, 8, false);
- fail_unless(result == 0xFA,
- "All bits in 0x%llx were 0x%llx instead of 0x%llx", data, result, data);
-}
-END_TEST
-
-START_TEST (test_multi_byte)
-{
- uint64_t data = 0x12FA000000000000;
- uint64_t result = eightbyte_get_bitfield(data, 0, 4, false);
- fail_unless(result == 0x1,
- "First 4 bits in 0x%llx was 0x%llx instead of 0xF", (data >> 60) & 0xF,
- result);
- result = eightbyte_get_bitfield(data, 4, 4, false);
- fail_unless(result == 0x2,
- "Second 4 bits in 0x%llx was 0x%llx instead of 0xA", (data >> 56) & 0xF,
- result);
- result = eightbyte_get_bitfield(data, 8, 4, false);
- fail_unless(result == 0xF,
- "First 4 bits in 0x%llx was 0x%llx instead of 0x1", (data >> 52) & 0xF,
- result);
- result = eightbyte_get_bitfield(data, 12, 4, false);
- fail_unless(result == 0xA,
- "Second 4 bits in 0x%llx was 0x%llx instead of 0x2", (data >> 48) % 0xF,
- result);
-}
-END_TEST
-
-START_TEST (test_get_multi_byte)
-{
- uint64_t data = 0x12FA000000000000;
- uint64_t result = eightbyte_get_bitfield(data, 0, 9, false);
- ck_assert_int_eq(result, 0x25);
-}
-END_TEST
-
-START_TEST (test_get_off_byte_boundary)
-{
- uint64_t data = 0x000012FA00000000;
- uint64_t result = eightbyte_get_bitfield(data, 12, 8, false);
- ck_assert_int_eq(result, 0x01);
-} END_TEST
-
-START_TEST (test_set_wont_fit)
-{
- uint64_t data = 0;
- fail_if(eightbyte_set_bitfield(100, 0, 1, &data));
-}
-END_TEST
-
-START_TEST (test_set_field)
-{
- uint64_t data = 0;
- fail_unless(eightbyte_set_bitfield(1, 0, 1, &data));
- uint64_t result = eightbyte_get_bitfield(data, 0, 1, false);
- ck_assert_int_eq(result, 0x1);
- data = 0;
- fail_unless(eightbyte_set_bitfield(1, 1, 1, &data));
- result = eightbyte_get_bitfield(data, 1, 1, false);
- ck_assert_int_eq(result, 0x1);
-
- data = 0;
- fail_unless(eightbyte_set_bitfield(0xf, 3, 4, &data));
- result = eightbyte_get_bitfield(data, 3, 4, false);
- ck_assert_int_eq(result, 0xf);
-}
-END_TEST
-
-START_TEST (test_set_doesnt_clobber_existing_data)
-{
- uint64_t data = 0xFFFC4DF300000000;
- fail_unless(eightbyte_set_bitfield(0x4fc8, 16, 16, &data));
- uint64_t result = eightbyte_get_bitfield(data, 16, 16, false);
- fail_unless(result == 0x4fc8,
- "Field retrieved in 0x%llx was 0x%llx instead of 0x%x", data, result,
- 0xc84f);
-
- data = 0x8000000000000000;
- fail_unless(eightbyte_set_bitfield(1, 21, 1, &data));
- fail_unless(data == 0x8000040000000000LLU,
- "Expected combined value 0x8000040000000000 but got 0x%llx%llx",
- data >> 32, data);
-}
-END_TEST
-
-START_TEST (test_set_off_byte_boundary)
-{
- uint64_t data = 0xFFFC4DF300000000;
- fail_unless(eightbyte_set_bitfield(0x12, 12, 8, &data));
- uint64_t result = eightbyte_get_bitfield(data, 12, 12, false);
- ck_assert_int_eq(result,0x12d);
-}
-END_TEST
-
-START_TEST (test_set_odd_number_of_bits)
-{
- uint64_t data = 0xFFFC4DF300000000LLU;
- fail_unless(eightbyte_set_bitfield(0x12, 11, 5, &data));
- uint64_t result = eightbyte_get_bitfield(data, 11, 5, false);
- fail_unless(result == 0x12,
- "Field set in 0x%llx%llx%llx%llx was 0x%llx instead of 0x%llx", data, result,
- 0x12);
-
- data = 0xFFFC4DF300000000LLU;
- fail_unless(eightbyte_set_bitfield(0x2, 11, 5, &data));
- result = eightbyte_get_bitfield(data, 11, 5, false);
- fail_unless(result == 0x2,
- "Field set in 0x%llx%llx%llx%llx was 0x%llx instead of 0x%llx", data, result,
- 0x2);
-}
-END_TEST
-
-START_TEST(test_eightbyte_get_byte)
-{
- uint64_t data = 0x00000000F34DFCFF;
- uint8_t result = eightbyte_get_byte(data, 0, false);
- uint8_t expected = 0x0;
- ck_assert_int_eq(result, expected);
-
- result = eightbyte_get_byte(data, 4, false);
- expected = 0xF3;
- ck_assert_int_eq(result, expected);
-
- result = eightbyte_get_byte(data, 5, false);
- expected = 0x4D;
- ck_assert_int_eq(result, expected);
-
- result = eightbyte_get_byte(data, 6, false);
- expected = 0xFC;
- ck_assert_int_eq(result, expected);
-
- result = eightbyte_get_byte(data, 7, false);
- expected = 0xFF;
- ck_assert_int_eq(result, expected);
-}
-END_TEST
-
-START_TEST(test_eightbyte_get_nibble)
-{
- uint64_t data = 0x00000000F34DFCFF;
- uint8_t result = eightbyte_get_nibble(data, 0, false);
- uint8_t expected = 0x0;
- ck_assert_int_eq(result, expected);
-
- result = eightbyte_get_nibble(data, 2, false);
- expected = 0x0;
- ck_assert_int_eq(result, expected);
-
- result = eightbyte_get_nibble(data, 8, false);
- expected = 0xF;
- ck_assert_int_eq(result, expected);
-
- result = eightbyte_get_nibble(data, 9, false);
- expected = 0x3;
- ck_assert_int_eq(result, expected);
-
- result = eightbyte_get_nibble(data, 10, false);
- expected = 0x4;
- ck_assert_int_eq(result, expected);
-
- result = eightbyte_get_nibble(data, 13, false);
- expected = 0xC;
- ck_assert_int_eq(result, expected);
-}
-END_TEST
-
-Suite* bitfieldSuite(void) {
- Suite* s = suite_create("bitfield");
- TCase *tc_core = tcase_create("core");
- tcase_add_test(tc_core, test_large_bitmask);
- tcase_add_test(tc_core, test_one_bit);
- tcase_add_test(tc_core, test_one_bit_not_swapped);
- tcase_add_test(tc_core, test_one_byte);
- tcase_add_test(tc_core, test_16_bit_parse);
- tcase_add_test(tc_core, test_32_bit_parse);
- tcase_add_test(tc_core, test_multi_byte);
- tcase_add_test(tc_core, test_get_multi_byte);
- tcase_add_test(tc_core, test_get_off_byte_boundary);
- tcase_add_test(tc_core, test_set_wont_fit);
- tcase_add_test(tc_core, test_set_field);
- tcase_add_test(tc_core, test_set_doesnt_clobber_existing_data);
- tcase_add_test(tc_core, test_set_off_byte_boundary);
- tcase_add_test(tc_core, test_set_odd_number_of_bits);
- tcase_add_test(tc_core, test_eightbyte_get_nibble);
- tcase_add_test(tc_core, test_eightbyte_get_byte);
- suite_add_tcase(s, tc_core);
-
- return s;
-}
-
-int main(void) {
- int numberFailed;
- Suite* s = bitfieldSuite();
- SRunner *sr = srunner_create(s);
- // Don't fork so we can actually use gdb
- srunner_set_fork_status(sr, CK_NOFORK);
- srunner_run_all(sr, CK_NORMAL);
- numberFailed = srunner_ntests_failed(sr);
- srunner_free(sr);
- return (numberFailed == 0) ? 0 : 1;
-}
diff --git a/CAN-binder/libs/bitfield-c/tests/bitfield_tests.c b/CAN-binder/libs/bitfield-c/tests/bitfield_tests.c
deleted file mode 100644
index b8c83b59..00000000
--- a/CAN-binder/libs/bitfield-c/tests/bitfield_tests.c
+++ /dev/null
@@ -1,132 +0,0 @@
-#include <check.h>
-#include <stdint.h>
-#include <bitfield/bitfield.h>
-
-START_TEST (test_get_byte)
-{
- uint8_t data[4] = {0x12, 0x34, 0x56, 0x78};
- uint8_t result = get_byte(data, sizeof(data), 0);
- ck_assert_int_eq(result, 0x12);
- result = get_byte(data, sizeof(data), 3);
- ck_assert_int_eq(result, 0x78);
-}
-END_TEST
-
-START_TEST (test_set_nibble)
-{
- uint8_t data[4] = {0};
- fail_unless(set_nibble(0, 0x1, data, sizeof(data)));
- fail_unless(set_nibble(1, 0x2, data, sizeof(data)));
- fail_unless(set_nibble(2, 0x3, data, sizeof(data)));
- fail_unless(set_nibble(3, 0x4, data, sizeof(data)));
- fail_unless(set_nibble(4, 0x5, data, sizeof(data)));
- ck_assert_int_eq(data[0], 0x12);
- ck_assert_int_eq(data[1], 0x34);
- ck_assert_int_eq(data[2], 0x50);
-}
-END_TEST
-
-START_TEST (test_set_bitfield)
-{
- uint8_t data[4] = {0};
- fail_unless(set_bitfield(0x12, 0, 8, data, sizeof(data)));
- fail_unless(set_bitfield(bitmask(3), 10, 3, data, sizeof(data)));
- ck_assert_int_eq(data[0], 0x12);
- ck_assert_int_eq(data[1], 0x38);
-}
-END_TEST
-
-START_TEST (test_set_bitfield_doesnt_fit)
-{
- uint8_t data[4] = {0};
- fail_if(set_bitfield(0xffff, 0, 8, data, sizeof(data)));
- ck_assert_int_eq(data[0], 0);
- ck_assert_int_eq(data[1], 0);
- ck_assert_int_eq(data[2], 0);
- ck_assert_int_eq(data[3], 0);
-}
-END_TEST
-
-START_TEST (test_get_nibble)
-{
- uint8_t data[4] = {0x12, 0x34, 0x56, 0x78};
- uint8_t result = get_nibble(data, sizeof(data), 0);
- ck_assert_int_eq(result, 0x1);
- result = get_nibble(data, sizeof(data), 1);
- ck_assert_int_eq(result, 0x2);
- result = get_nibble(data, sizeof(data), 2);
- ck_assert_int_eq(result, 0x3);
-}
-END_TEST
-
-START_TEST (test_get_bits_out_of_range)
-{
- uint8_t data[4] = {0x12, 0x34, 0x56, 0x78};
- uint8_t result[4];
- fail_if(copy_bits_right_aligned(data, sizeof(data), 25, 16, result,
- sizeof(result)));
-}
-END_TEST
-
-START_TEST (test_get_bits)
-{
- uint8_t data[4] = {0x12, 0x34, 0x56, 0x78};
- uint8_t result[4] = {0};
- fail_unless(copy_bits_right_aligned(data, sizeof(data), 0, 16, result,
- sizeof(result)));
- ck_assert_int_eq(result[2], 0x12);
- ck_assert_int_eq(result[3], 0x34);
-}
-END_TEST
-
-START_TEST (test_copy_bytes)
-{
- uint8_t data[4] = {0x12, 0x34, 0x56, 0x78};
- uint8_t result[4] = {0};
- fail_unless(copy_bytes_right_aligned(data, sizeof(data), 1, 3, result,
- sizeof(result)));
- ck_assert_int_eq(result[1], 0x34);
- ck_assert_int_eq(result[2], 0x56);
- ck_assert_int_eq(result[3], 0x78);
-}
-END_TEST
-
-START_TEST (test_get_uneven_bits)
-{
- uint8_t data[4] = {0x12, 0x34, 0x56, 0x78};
- uint8_t result[4] = {0};
- fail_unless(copy_bits_right_aligned(data, sizeof(data), 4, 12, result,
- sizeof(result)));
- ck_assert_int_eq(result[2], 0x2);
- ck_assert_int_eq(result[3], 0x34);
-}
-END_TEST
-
-Suite* bitfieldSuite(void) {
- Suite* s = suite_create("bitfield");
- TCase *tc_core = tcase_create("core");
- tcase_add_test(tc_core, test_get_byte);
- tcase_add_test(tc_core, test_get_nibble);
- tcase_add_test(tc_core, test_set_nibble);
- tcase_add_test(tc_core, test_set_bitfield);
- tcase_add_test(tc_core, test_set_bitfield_doesnt_fit);
- tcase_add_test(tc_core, test_get_bits);
- tcase_add_test(tc_core, test_copy_bytes);
- tcase_add_test(tc_core, test_get_bits_out_of_range);
- tcase_add_test(tc_core, test_get_uneven_bits);
- suite_add_tcase(s, tc_core);
-
- return s;
-}
-
-int main(void) {
- int numberFailed;
- Suite* s = bitfieldSuite();
- SRunner *sr = srunner_create(s);
- // Don't fork so we can actually use gdb
- srunner_set_fork_status(sr, CK_NOFORK);
- srunner_run_all(sr, CK_NORMAL);
- numberFailed = srunner_ntests_failed(sr);
- srunner_free(sr);
- return (numberFailed == 0) ? 0 : 1;
-}
diff --git a/CAN-binder/libs/bitfield-c/tests/read_tests.c b/CAN-binder/libs/bitfield-c/tests/read_tests.c
deleted file mode 100644
index 5008cc52..00000000
--- a/CAN-binder/libs/bitfield-c/tests/read_tests.c
+++ /dev/null
@@ -1,67 +0,0 @@
-#include <check.h>
-#include <stdint.h>
-#include <canutil/read.h>
-
-const uint64_t BIG_ENDIAN_TEST_DATA = __builtin_bswap64(0xEB00000000000000);
-const uint8_t ARRAY_TEST_DATA[] = {0xEB, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0};
-
-START_TEST (test_eightbyte_parse_float)
-{
- float result = eightbyte_parse_float(BIG_ENDIAN_TEST_DATA, 2, 4, 1001.0,
- -30000.0);
- float correctResult = 0xA * 1001.0 - 30000.0;
- fail_unless(result == correctResult,
- "parse is incorrect: %f but should be %f", result, correctResult);
-}
-END_TEST
-
-START_TEST (test_eightbyte_parse_bool)
-{
- bool result = eightbyte_parse_bool(BIG_ENDIAN_TEST_DATA, 0, 1, 1.0, 0);
- bool correctResult = true;
- fail_unless(result == correctResult,
- "parse is incorrect: %d but should be %d", result, correctResult);
-}
-END_TEST
-
-START_TEST (test_bitfield_parse_float)
-{
- float result = bitfield_parse_float(ARRAY_TEST_DATA,
- sizeof(ARRAY_TEST_DATA), 2, 4, 1001.0, -30000.0);
- float correctResult = 0xA * 1001.0 - 30000.0;
- fail_unless(result == correctResult,
- "parse is incorrect: %f but should be %f", result, correctResult);
-}
-END_TEST
-
-START_TEST (test_bitfield_parse_bool)
-{
- fail_unless(bitfield_parse_bool(ARRAY_TEST_DATA, sizeof(ARRAY_TEST_DATA),
- 0, 1, 1.0, 0));
-}
-END_TEST
-
-Suite* canreadSuite(void) {
- Suite* s = suite_create("read");
- TCase *tc_core = tcase_create("core");
- tcase_add_checked_fixture(tc_core, NULL, NULL);
- tcase_add_test(tc_core, test_eightbyte_parse_float);
- tcase_add_test(tc_core, test_eightbyte_parse_bool);
- tcase_add_test(tc_core, test_bitfield_parse_float);
- tcase_add_test(tc_core, test_bitfield_parse_bool);
- suite_add_tcase(s, tc_core);
-
- return s;
-}
-
-int main(void) {
- int numberFailed;
- Suite* s = canreadSuite();
- SRunner *sr = srunner_create(s);
- // Don't fork so we can actually use gdb
- srunner_set_fork_status(sr, CK_NOFORK);
- srunner_run_all(sr, CK_NORMAL);
- numberFailed = srunner_ntests_failed(sr);
- srunner_free(sr);
- return (numberFailed == 0) ? 0 : 1;
-}
diff --git a/CAN-binder/libs/bitfield-c/tests/write_tests.c b/CAN-binder/libs/bitfield-c/tests/write_tests.c
deleted file mode 100644
index 4d5d8fc3..00000000
--- a/CAN-binder/libs/bitfield-c/tests/write_tests.c
+++ /dev/null
@@ -1,105 +0,0 @@
-#include <canutil/write.h>
-#include <check.h>
-#include <stdint.h>
-
-START_TEST (test_eightbyte_encode_float_precision)
-{
- uint64_t value = eightbyte_encode_float(50, 2, 19, 0.001, 0);
- ck_assert_int_eq(value, 0x061a800000000000LLU);
-}
-END_TEST
-
-START_TEST (test_eightbyte_encode_float)
-{
- uint64_t value = eightbyte_encode_float(0, 1, 3, 1, 0);
- ck_assert_int_eq(value, 0);
-
- value = eightbyte_encode_float(1, 1, 3, 1, 0);
- ck_assert_int_eq(value, 0x1000000000000000LLU);
-}
-END_TEST
-
-START_TEST (test_eightbyte_encode_bool)
-{
- uint64_t value = eightbyte_encode_bool(true, 1, 3);
- ck_assert_int_eq(value, 0x1000000000000000LLU);
- value = eightbyte_encode_bool(false, 1, 3);
- ck_assert_int_eq(value, 0x0000000000000000LLU);
-}
-END_TEST
-
-START_TEST (test_bitfield_encode_float)
-{
- uint8_t data[8] = {0};
- bitfield_encode_float(0, 1, 3, 1, 0, data, sizeof(data));
- ck_assert_int_eq(data[0], 0);
- ck_assert_int_eq(data[1], 0);
- ck_assert_int_eq(data[2], 0);
- ck_assert_int_eq(data[3], 0);
- ck_assert_int_eq(data[4], 0);
- ck_assert_int_eq(data[5], 0);
- ck_assert_int_eq(data[6], 0);
- ck_assert_int_eq(data[7], 0);
-
- bitfield_encode_float(1, 1, 3, 1, 0, data, sizeof(data));
- ck_assert_int_eq(data[0], 0x10);
- ck_assert_int_eq(data[1], 0);
- ck_assert_int_eq(data[2], 0);
- ck_assert_int_eq(data[3], 0);
- ck_assert_int_eq(data[4], 0);
- ck_assert_int_eq(data[5], 0);
- ck_assert_int_eq(data[6], 0);
- ck_assert_int_eq(data[7], 0);
-}
-END_TEST
-
-START_TEST (test_bitfield_encode_bool)
-{
- uint8_t data[8] = {0};
- bitfield_encode_bool(true, 1, 3, data, sizeof(data));
- ck_assert_int_eq(data[0], 0x10);
- ck_assert_int_eq(data[1], 0);
- ck_assert_int_eq(data[2], 0);
- ck_assert_int_eq(data[3], 0);
- ck_assert_int_eq(data[4], 0);
- ck_assert_int_eq(data[5], 0);
- ck_assert_int_eq(data[6], 0);
- ck_assert_int_eq(data[7], 0);
-
- bitfield_encode_bool(false, 1, 3, data, sizeof(data));
- ck_assert_int_eq(data[0], 0);
- ck_assert_int_eq(data[1], 0);
- ck_assert_int_eq(data[2], 0);
- ck_assert_int_eq(data[3], 0);
- ck_assert_int_eq(data[4], 0);
- ck_assert_int_eq(data[5], 0);
- ck_assert_int_eq(data[6], 0);
- ck_assert_int_eq(data[7], 0);
-}
-END_TEST
-
-Suite* canwriteSuite(void) {
- Suite* s = suite_create("write");
- TCase *tc_core = tcase_create("core");
- tcase_add_checked_fixture(tc_core, NULL, NULL);
- tcase_add_test(tc_core, test_eightbyte_encode_float);
- tcase_add_test(tc_core, test_eightbyte_encode_bool);
- tcase_add_test(tc_core, test_eightbyte_encode_float_precision);
- tcase_add_test(tc_core, test_bitfield_encode_float);
- tcase_add_test(tc_core, test_bitfield_encode_bool);
- suite_add_tcase(s, tc_core);
-
- return s;
-}
-
-int main(void) {
- int numberFailed;
- Suite* s = canwriteSuite();
- SRunner *sr = srunner_create(s);
- // Don't fork so we can actually use gdb
- srunner_set_fork_status(sr, CK_NOFORK);
- srunner_run_all(sr, CK_NORMAL);
- numberFailed = srunner_ntests_failed(sr);
- srunner_free(sr);
- return (numberFailed == 0) ? 0 : 1;
-}