From d166f3369dd347367d0d4263e3045a1347493250 Mon Sep 17 00:00:00 2001 From: mo khan Date: Sun, 20 Sep 2020 16:44:34 -0600 Subject: test: add assertions to check rb tree validity --- src/03/rb_tree_test.c | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src') 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) { -- cgit v1.2.3