github
49 of 70 new or added lines in 12 files covered. (70.0%)
8 existing lines in 5 files now uncovered.9988 of 13799 relevant lines covered (72.38%)
3032.93 hits per line
The file "src/xref2/shape_tools.ml" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.