diff options
| author | mo khan <mo.khan@gmail.com> | 2020-09-26 19:39:48 -0600 |
|---|---|---|
| committer | mo khan <mo.khan@gmail.com> | 2020-09-26 19:39:48 -0600 |
| commit | 36d01edd61921f98a81ffabbc6abac3cf4503381 (patch) | |
| tree | 61f8e4fc7cb1bd42838d4b73db616150764b2f84 /src/03/avl_tree_test.c | |
| parent | b1efa9cd26f037f8b7fa6e38ca1ccd9064093f39 (diff) | |
feat: prove that height of binary tree is greater than or equal to log2(k) where k is the # of leaves in the tree
Diffstat (limited to 'src/03/avl_tree_test.c')
| -rw-r--r-- | src/03/avl_tree_test.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/03/avl_tree_test.c b/src/03/avl_tree_test.c index 857ae7c..3eb3bec 100644 --- a/src/03/avl_tree_test.c +++ b/src/03/avl_tree_test.c @@ -379,15 +379,17 @@ TestSuite *avl_tree_tests() { return x; } +TestSuite *btree_tests(); TestSuite *graph_tests(); TestSuite *matrix_tests(); +TestSuite *meldable_heap_tests(); TestSuite *rb_tree_tests(); TestSuite *sort_tests(); -TestSuite *meldable_heap_tests(); int main(int argc, char **argv) { TestSuite *suite = create_test_suite(); add_suite(suite, avl_tree_tests()); + add_suite(suite, btree_tests()); add_suite(suite, graph_tests()); add_suite(suite, matrix_tests()); add_suite(suite, meldable_heap_tests()); |
