From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 26 Sep 2018 04:26:06 +0000 (-0700)
Subject: cmake: Exclude examples for coverage target. (#2535)
X-Git-Tag: cvc5-1.0.0~4501
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2069d956851667718c45353f41a3d4aa2b8e7c73;p=cvc5.git

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

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()