The code coverage profile data is written during normal shutdown. Currently, the devtools test runner will kill the servo binary, meaning that no coverage data can be written. We should add a ...