| test_rbtree is a test module for checking the correctness of red-black |
| tree operations. |
| |
| These tests are performed on red-black trees that store integers. |
| Since the rbtree logic treats the comparison function as a black |
| box, it shouldn't be important exactly what the key type is. |
| |
| Checking the correctness of traversals is based on the fact that a red-black |
| tree is a binary search tree, so the elements should be visited in increasing |
| (for Left-Current-Right) or decreasing (for Right-Current-Left) order. |
| |
| Also, this module does some checks of the correctness of the find, delete |
| and leftmost operations. |
