diff options
-rw-r--r-- | CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 3eced0885..921396e21 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -270,7 +270,8 @@ if(ENABLE_COVERAGE) add_definitions(-DCVC4_COVERAGE) setup_target_for_coverage_lcov( NAME coverage - EXECUTABLE ctest -j${CTEST_NTHREADS} $(ARGS) + EXECUTABLE + ctest -j${CTEST_NTHREADS} -LE "example" --output-on-failure $(ARGS) DEPENDENCIES cvc4-bin) endif() |