diff --git a/scripts/mk_make.py b/scripts/mk_make.py index 4b6508f69..7376f0a3f 100644 --- a/scripts/mk_make.py +++ b/scripts/mk_make.py @@ -59,9 +59,9 @@ add_lib('sat_strategy', ['assertion_set', 'sat_tactic']) add_lib('arith_tactics', ['core_tactics', 'assertion_set', 'sat', 'sat_strategy']) add_lib('nlsat_tactic', ['nlsat', 'sat_tactic', 'arith_tactics']) add_lib('subpaving_tactic', ['core_tactics', 'subpaving']) -add_lib('bv_tactics', ['tactic']) +add_lib('bv_tactics', ['tactic', 'bit_blaster']) add_lib('fuzzing', ['ast']) -add_lib('fpa', ['core_tactics', 'bit_blaster', 'sat_tactic']) +add_lib('fpa', ['core_tactics', 'bv_tactics', 'sat_tactic']) add_lib('smt_tactic', ['smt']) add_lib('extra_cmds', ['cmd_context', 'subpaving_tactic', 'arith_tactics']) add_lib('sls_tactic', ['tactic', 'normal_forms', 'core_tactics', 'bv_tactics']) diff --git a/src/bit_blaster/bit_blaster_tactic.cpp b/src/bv_tactics/bit_blaster_tactic.cpp similarity index 100% rename from src/bit_blaster/bit_blaster_tactic.cpp rename to src/bv_tactics/bit_blaster_tactic.cpp diff --git a/src/bit_blaster/bit_blaster_tactic.h b/src/bv_tactics/bit_blaster_tactic.h similarity index 100% rename from src/bit_blaster/bit_blaster_tactic.h rename to src/bv_tactics/bit_blaster_tactic.h