Make sure coverage is properly enabled

Author: lefticus

.github/workflows/ci.yml

@@ -140,7 +140,7 @@ jobs:
 
       - name: Configure CMake
         run: |
-          cmake -S . -B ./build -G "${{matrix.generator}}" -DCMAKE_BUILD_TYPE:STRING=${{matrix.build_type}} -DENABLE_DEVELOPER_MODE:BOOL=${{matrix.developer_mode}} -DENABLE_LARGE_TESTS:BOOL=${{matrix.large_tests}}
+          cmake -S . -B ./build -G "${{matrix.generator}}" -DCMAKE_BUILD_TYPE:STRING=${{matrix.build_type}} -DENABLE_DEVELOPER_MODE:BOOL=${{matrix.developer_mode}} -DENABLE_LARGE_TESTS:BOOL=${{matrix.large_tests}} -DOPT_ENABLE_COVERAGE:BOOL=TRUE
 
       - name: Build
         # Execute the build.  You can specify a specific target with "--target <NAME>"

.lgtm.yml

@@ -19,6 +19,6 @@ extraction:
     configure:
       command:
         - mkdir build
-        - cmake -D ENABLE_COVERAGE:BOOL=TRUE -D ENABLE_DEVELOPER_MODE:BOOL=FALSE -S . -B build
+        - cmake -D ENABLE_LARGE_TESTS:BOOL=FALSE  -D OPT_ENABLE_COVERAGE:BOOL=TRUE -D ENABLE_DEVELOPER_MODE:BOOL=FALSE -D  -S . -B build
     index:
       build_command: cmake --build ./build -- -j2