search

vprover / vampire

The Vampire Theorem Prover
https://vprover.github.io/
Other
302 stars 52 forks source link

put code coverage reports behind a CMake flag #530

Closed MichaelRawson closed 8 months ago

MichaelRawson commented 8 months ago

Trivial build system stuff; just making this a PR to check the team is OK with it.

In #518 we gained code coverage reports. This is really nice to have if you're writing unit tests, but quite slow if you're just checking they still pass. Therefore: put them behind a CMake flag COVERAGE.

Bottom line: if you want code coverage, run CMake with -DCOVERAGE=ON.

quickbeam123 commented 8 months ago

Could you please reflect the rule:

"if you want code coverage, run CMake with -DCOVERAGE=ON."

somewhere in our wiki? Otherwise, good to go by me!

MichaelRawson commented 8 months ago

Done, good idea! Will merge in a little bit to see if anyone peeps.

MichaelRawson commented 8 months ago

Seems not, merging.