cmake: Exclude examples for coverage target. (#2535)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3eced0885127f80c0b1969e846714cb593f9037f..921396e2183f11a4644acaae125fdb864f2858bc 100644 (file)
--- 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()