dmeoli / ADS / 40607285201

push

github

The invariant of SearchTree by the links to the parents, with no stack: the order by the keys increasing in the invisit and (V4) by the black nodes down to each leaf nil, as fast as the recursion it replaces at -O0, where the stack of the previous commit made the tests of the coverage several times slower; the test search-tree-invariant, each condition broken and mended

39 of 41 new or added lines in 1 file covered. (95.12%)

46223 of 47353 relevant lines covered (97.61%)

9785991.79 hits per line