Hello Thomas,
First, as author of the test suite code, let me apologize for theterrible documentation.
This is absolutely NOT how coverage reports are supposed to work. If
you configure with '--enable-tests --enable-library-coverage', Cabal
will take care of _everything_ else for you, including excluding the
test module from the coverage report. You should not have to put any
flag gymnastics in your .cabal file.