I noticed that the output formats are slightly different when run interactively (condensed output).
Both of them use rows of dots with a X/TOTAL
at the end of the line, but they're subtly different, most test suites use long lines with colored dots and no parenthesis, while rustdoc-gui uses short lines with no color and the numeric progress is parenthisized.
This means that this functionality is likely implemented twice. I'm not sure how much code this constitutes, but it might be nice to make them use the same underlying code, either by moving that code to a shared library, simple refactoring, or changing IPC protocols so compiletest is always the one printing the dots.