github
Bug fix in `HoareOptimizer` (#13083) * bug fix, test, reno * suggestions from code review; lint (cherry picked from commit 576efcf14)
7 of 7 new or added lines in 1 file covered. (100.0%)
45 existing lines in 4 files now uncovered.66882 of 74492 relevant lines covered (89.78%)
233400.48 hits per line