dmeoli / ADS / 40607285201

98%

Build Type

push

github

Committed by dmeoli

Commit Message

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

Coverage Stats

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

38 existing lines in 10 files now uncovered.

46223 of 47353 relevant lines covered (97.61%)

9785991.79 hits per line