From 2069d956851667718c45353f41a3d4aa2b8e7c73 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 25 Sep 2018 21:26:06 -0700
Subject: [PATCH] cmake: Exclude examples for coverage target. (#2535)

---
 CMakeLists.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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