push
github
3834 of 4554 branches covered (84.19%)
Branch coverage included in aggregate %.
12443 of 13643 relevant lines covered (91.2%)
0.91 hits per line
The file "tools/multiprogramrunner.py" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.