The way to do it is to have a separate build directory only for coverage (with -DCMAKE_BUILD_TYPE=coverage).
« Back to merge proposal
The way to do it is to have a separate build directory only for coverage (with -DCMAKE_ BUILD_TYPE= coverage) .