From 7218fc013c75a445036262581e33eb8dbea86302 Mon Sep 17 00:00:00 2001
From: Alfredo Correa <alfredo.correa@gmail.com>
Date: Mon, 23 Dec 2024 14:05:04 -0800
Subject: [PATCH] add slow ir rep

---
 mull.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mull.yml b/mull.yml
index 2a01478c2..a21e5e27e 100644
--- 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.*