Fix test for coverage check

[RobinPicard]

These tests are constantly failing when working on branch v1.0. The resulting noise prevents us from noticing when we actually forget to add tests.