# HG changeset patch # User Olaf Wintermann # Date 1431969152 -7200 # Node ID b0f4fb043b475168723774f47b436acce9d19e02 # Parent a82f3456b76d336a10bfc8480802cf9fb734e340 added test for ucx_avl_put diff -r a82f3456b76d -r b0f4fb043b47 test/avl_tests.c --- a/test/avl_tests.c Mon May 18 18:42:45 2015 +0200 +++ b/test/avl_tests.c Mon May 18 19:12:32 2015 +0200 @@ -28,3 +28,117 @@ #include "avl_tests.h" +#include "ucx/utils.h" + +static int node_height(UcxAVLNode *node) { + if(!node) { + return 0; + } + + int left = 0; + int right = 0; + if(node->left) { + left = node_height(node->left); + } + if(node->right) { + right = node_height(node->right); + } + + return left > right ? left+1 : right+1; +} + +static int check_tree(UcxAVLNode *node) { + if(!node) { + return 1; + } + + int left_height = node_height(node->left); + int right_height = node_height(node->right); + int bf = -left_height + right_height; + if(bf < -1 || bf > 1) { + return 0; + } + int height = left_height > right_height ? left_height : right_height; + height++; + if(height != node->height) { + return 0; + } + + if(!check_tree(node->left)) { + return 0; + } + if(!check_tree(node->right)) { + return 0; + } + + return 1; +} + +UCX_TEST(test_ucx_avl_put) { + UcxAVLTree *tree1 = ucx_avl_new(ucx_ptrcmp); + UcxAVLTree *tree2 = ucx_avl_new(ucx_ptrcmp); + UcxAVLTree *tree3 = ucx_avl_new(ucx_ptrcmp); + UcxAVLTree *tree4 = ucx_avl_new(ucx_ptrcmp); + UcxAVLTree *tree5 = ucx_avl_new(ucx_ptrcmp); + + char *data1 = (char*)"data1"; + char *data2 = (char*)"data2"; + char *data3 = (char*)"data3"; + + UCX_TEST_BEGIN + + ucx_avl_put(tree1, 2, (char*)data2); + ucx_avl_put(tree1, 1, (char*)data1); + ucx_avl_put(tree1, 3, (char*)data3); + + UCX_TEST_ASSERT(check_tree(tree1->root), "check_tree failed (tree1)"); + UCX_TEST_ASSERT(ucx_avl_get(tree1, 1) == data1, "wrong data (tree1)"); + UCX_TEST_ASSERT(ucx_avl_get(tree1, 2) == data2, "wrong data (tree1)"); + UCX_TEST_ASSERT(ucx_avl_get(tree1, 3) == data3, "wrong data (tree1)"); + + for(int i=0;i<100000;i++) { + ucx_avl_put(tree2, i, data1); + } + UCX_TEST_ASSERT(check_tree(tree2->root), "check_tree failed (tree2)"); + + for(int i=100000;i>=0;i--) { + ucx_avl_put(tree3, i, data1); + } + UCX_TEST_ASSERT(check_tree(tree3->root), "check_tree failed (tree3)"); + + for(int i=0;i<100;i++) { + ucx_avl_put(tree4, i, data1); + } + for(int i=400;i<500;i++) { + ucx_avl_put(tree4, i, data2); + } + for(int i=399;i>200;i--) { + ucx_avl_put(tree4, i, data3); + } + for(int i=800;i<1000;i++) { + ucx_avl_put(tree4, i, data1); + } + UCX_TEST_ASSERT(check_tree(tree4->root), "check_tree failed (tree4)"); + UCX_TEST_ASSERT(ucx_avl_get(tree4, 0) == data1, "wrong data for key: 0"); + UCX_TEST_ASSERT(ucx_avl_get(tree4, 1) == data1, "wrong data for key: 1"); + UCX_TEST_ASSERT(ucx_avl_get(tree4, 99) == data1, "wrong data for key: 99"); + UCX_TEST_ASSERT(ucx_avl_get(tree4, 400)==data2, "wrong data for key: 400"); + UCX_TEST_ASSERT(ucx_avl_get(tree4, 410)==data2, "wrong data for key: 410"); + UCX_TEST_ASSERT(ucx_avl_get(tree4, 350)==data3, "wrong data for key: 350"); + UCX_TEST_ASSERT(ucx_avl_get(tree4, 900)==data1, "wrong data for key: 900"); + + int values[] = { 3, 6, 12, 9, 23, 1, 0, 20, 34, 5, 8, 7, 6, 14, 15, 2, 4}; + int len = sizeof(values) / sizeof(int); + for(int i=0;iroot), "check_tree failed (tree5)"); + + UCX_TEST_END + + ucx_avl_free(tree1); + ucx_avl_free(tree2); + ucx_avl_free(tree3); + ucx_avl_free(tree4); + ucx_avl_free(tree5); +} diff -r a82f3456b76d -r b0f4fb043b47 test/avl_tests.h --- a/test/avl_tests.h Mon May 18 18:42:45 2015 +0200 +++ b/test/avl_tests.h Mon May 18 19:12:32 2015 +0200 @@ -36,7 +36,7 @@ extern "C" { #endif - +UCX_TEST(test_ucx_avl_put); #ifdef __cplusplus } diff -r a82f3456b76d -r b0f4fb043b47 test/main.c --- a/test/main.c Mon May 18 18:42:45 2015 +0200 +++ b/test/main.c Mon May 18 19:12:32 2015 +0200 @@ -43,6 +43,7 @@ #include "prop_tests.h" #include "buffer_tests.h" #include "utils_tests.h" +#include "avl_tests.h" UCX_EXTERN UCX_TEST(testTestSuitePositive) { UCX_TEST_BEGIN @@ -217,6 +218,9 @@ ucx_test_register(suite, test_ucx_fprintf); ucx_test_register(suite, test_ucx_asprintf); ucx_test_register(suite, test_ucx_stream_copy); + + /* AVL Tests */ + ucx_test_register(suite, test_ucx_avl_put); ucx_test_run(suite, stdout); fflush(stdout); diff -r a82f3456b76d -r b0f4fb043b47 test/string_tests.c --- a/test/string_tests.c Mon May 18 18:42:45 2015 +0200 +++ b/test/string_tests.c Mon May 18 19:12:32 2015 +0200 @@ -31,7 +31,7 @@ UCX_TEST(test_sstr) { sstr_t s1 = sstr((char*)"1234"); sstr_t s2 = sstrn((char*)"ab", 2); - + UCX_TEST_BEGIN UCX_TEST_ASSERT(s1.length == 4, "s1 length must be 4");