From 400516bfba774267ab1afad0cbe76d580ca4a84d Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 22 Apr 2024 11:55:31 -0700
Subject: [PATCH] Test.

---
 ddsmt/mutators_bv.py            | 2 +-
 ddsmt/tests/test_mutators_bv.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ddsmt/mutators_bv.py b/ddsmt/mutators_bv.py
index 618bf53..aeb7ba8 100644
--- a/ddsmt/mutators_bv.py
+++ b/ddsmt/mutators_bv.py
@@ -506,7 +506,7 @@ def get_mutators():
         'BVTransformToBool': 'bv-to-bool',
         'BVZeroExtendPredicate': 'bv-zeroextend-pred',
         'BVReduceBW': 'bv-reduce-bitwidth',
-        'BvMergeExtend': 'bv-merge-extend',
+#        'BvMergeExtend': 'bv-merge-extend',
     }
 
 
diff --git a/ddsmt/tests/test_mutators_bv.py b/ddsmt/tests/test_mutators_bv.py
index 0b4e63d..57aae0f 100644
--- a/ddsmt/tests/test_mutators_bv.py
+++ b/ddsmt/tests/test_mutators_bv.py
@@ -7,7 +7,7 @@
 def test_bv_get_mutators():
     d = mutators_bv.get_mutators()
     assert isinstance(d, dict)
-    assert len(d) == 15
+    assert len(d) == 14
 
 
 def test_bv_is_relevant():