add slow ir rep

correaa · Dec 23, 2024 · 7218fc0 · 7218fc0
1 parent bb9ddb7
commit 7218fc0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mull.yml b/mull.yml
@@ -23,6 +23,7 @@ mutators:
 #- cxx_lt_to_le  # Replaces < with <=  # TODO(correaa) investigates why this mutant survices with the range.contains function
  - cxx_mul_to_div  # Replaces / with *
 timeout: 1000 # in milliseconds
+slowIRVerification: true
 quiet: true # additional logging?
 excludePaths:
   - .*test.*