diff options
| author | mo khan <mo.khan@gmail.com> | 2020-09-20 16:44:34 -0600 |
|---|---|---|
| committer | mo khan <mo.khan@gmail.com> | 2020-09-20 16:44:34 -0600 |
| commit | d166f3369dd347367d0d4263e3045a1347493250 (patch) | |
| tree | bb744c74fb9b61dfd803653ed0d8820970d96e47 /src/03/rb_tree_test.c | |
| parent | ef16af77b26c44c610c59dc7d60ef2d017b5c2b2 (diff) | |
test: add assertions to check rb tree validity
Diffstat (limited to 'src/03/rb_tree_test.c')
| -rw-r--r-- | src/03/rb_tree_test.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/03/rb_tree_test.c b/src/03/rb_tree_test.c index ae5b09c..1bf4e5a 100644 --- a/src/03/rb_tree_test.c +++ b/src/03/rb_tree_test.c @@ -87,6 +87,8 @@ Ensure(rb_tree_insert_performs_a_right_rotation) { assert_that(tree->right->value, is_equal_to(30)); assert_that(tree->right->colour, is_equal_to(red)); + + assert_that(rb_tree_is_valid(tree), is_equal_to(true)); } Ensure(rb_tree_insert_performs_a_left_rotation) { @@ -109,6 +111,8 @@ Ensure(rb_tree_insert_performs_a_left_rotation) { assert_that(tree->left->colour, is_equal_to(red)); assert_that(tree->right->value, is_equal_to(30)); assert_that(tree->right->colour, is_equal_to(red)); + + assert_that(rb_tree_is_valid(tree), is_equal_to(true)); } Ensure(rb_tree_insert_repaints_the_new_node) { @@ -137,6 +141,8 @@ Ensure(rb_tree_insert_repaints_the_new_node) { assert_that(tree->right->value, is_equal_to(30)); assert_that(tree->right->colour, is_equal_to(black)); + + assert_that(rb_tree_is_valid(tree), is_equal_to(true)); } Ensure(rb_tree_insert_handles_large_trees) { @@ -151,6 +157,7 @@ Ensure(rb_tree_insert_handles_large_trees) { assert_that(tree->colour, is_equal_to(black)); assert_that(rb_tree_size(tree), is_equal_to(n)); + assert_that(rb_tree_is_valid(tree), is_equal_to(true)); } Ensure(equals_returns_false_when_tree_is_NULL) { |