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():