Make coverage optional for debug builds by introducing CHAOS_COVERAGE

flag.

.gitea/workflows/ChaosCi.yaml

@@ -20,7 +20,7 @@ jobs:
     - name: Configure and build tests [Debug]
       run: |
         mkdir build-debug
-        cmake -S . -B build-debug/ -D CMAKE_BUILD_TYPE=Debug
+        cmake -S . -B build-debug/ -D CMAKE_BUILD_TYPE=Debug -D CHAOS_COVERAGE=ON
         cmake --build build-debug/ -t ChaosTests
 
     - name: Configure and build benchmarks [Release]

ChaosTests/CMakeLists.txt

@@ -31,7 +31,9 @@ target_include_directories(ChaosTests PRIVATE
 
 target_compile_options(ChaosTests PRIVATE -Wunused -Werror=unused)
 
-if(CMAKE_BUILD_TYPE STREQUAL "Debug")
+option(CHAOS_COVERAGE "Enable coverage" OFF)
+
+if(CHAOS_COVERAGE)
     target_compile_options(ChaosTests PRIVATE --coverage)
     target_link_options(ChaosTests PRIVATE --coverage)
 endif()