Or to get

term-missing

coverage reports so I can see which lines are missed?