more mull

.gitlab-ci.yml

@@ -215,7 +215,7 @@ clang++-16 mull-16:  # mull-17 crashes
     - x86_64  # for mull
     - non-shared
   interruptible: true
-  allow_failure: true
+  allow_failure: false
   script:
     - apt-get -qq update
     - apt-get -qq install --no-install-recommends -y --quiet gnupg curl wget ca-certificates clang-16 cmake libclang-rt-16-dev make libboost-timer-dev libboost-serialization-dev libblas-dev libfftw3-dev liblapack-dev pkg-config
@@ -228,7 +228,7 @@ clang++-16 mull-16:  # mull-17 crashes
     - mull-runner-16 --version
     - CXX=clang++-16 cmake .. -DCMAKE_CXX_FLAGS="-O1 -fpass-plugin=/usr/lib/mull-ir-frontend-16 -g -grecord-command-line -fprofile-instr-generate -fcoverage-mapping"
     - cmake --build . --parallel 2 || cmake --build . --parallel 1 --verbose
-    - ctest -j 2 --output-on-failure --verbose
+    - ctest -j 2 --output-on-failure
     - cd test
     - ls *.x | xargs -n 1 sh -c 'echo $0 && ((mull-runner-16 --ld-search-path=/usr/lib/x86_64-linux-gnu $0 -test-program=ctest -- -j2 --stop-on-failure) || exit 255)'
   needs: ["clang++"]

mull.yml

@@ -9,5 +9,5 @@ mutators:
  - cxx_lt_to_le  # Replaces < with <=
 timeout: 10000 # in milliseconds
 quiet: true # additional logging?
-# excludePaths:
-#   - .*test.*
+excludePaths:
+  - .*test.*