Test.

ddsmt · Apr 22, 2024 · 400516b · 400516b
1 parent 8ea5677
commit 400516b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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():