From a33913979df463cca91be150ce8266742d2d055a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 21 Oct 2012 22:37:34 -0700 Subject: [PATCH] moved bit_blaster_tactic to bv_tactics Signed-off-by: Leonardo de Moura --- scripts/mk_make.py | 4 ++-- src/{bit_blaster => bv_tactics}/bit_blaster_tactic.cpp | 0 src/{bit_blaster => bv_tactics}/bit_blaster_tactic.h | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename src/{bit_blaster => bv_tactics}/bit_blaster_tactic.cpp (100%) rename src/{bit_blaster => bv_tactics}/bit_blaster_tactic.h (100%) 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