From 7cdf5e493be0f65924adbe7e3933003e11eb7e98 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 1 Nov 2012 08:48:54 -0700 Subject: [PATCH] moved smt tactic to smt folder Signed-off-by: Leonardo de Moura --- scripts/mk_project.py | 2 +- src/{tactic/smt => smt/tactic}/ctx_solver_simplify_tactic.cpp | 0 src/{tactic/smt => smt/tactic}/ctx_solver_simplify_tactic.h | 0 src/{tactic/smt => smt/tactic}/smt_tactic.cpp | 0 src/{tactic/smt => smt/tactic}/smt_tactic.h | 0 5 files changed, 1 insertion(+), 1 deletion(-) rename src/{tactic/smt => smt/tactic}/ctx_solver_simplify_tactic.cpp (100%) rename src/{tactic/smt => smt/tactic}/ctx_solver_simplify_tactic.h (100%) rename src/{tactic/smt => smt/tactic}/smt_tactic.cpp (100%) rename src/{tactic/smt => smt/tactic}/smt_tactic.h (100%) diff --git a/scripts/mk_project.py b/scripts/mk_project.py index 7c1786f29..6eeef935c 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -51,7 +51,7 @@ def init_project_def(): add_lib('bv_tactics', ['tactic', 'bit_blaster'], 'tactic/bv') add_lib('fuzzing', ['ast'], 'test/fuzzing') add_lib('fpa', ['core_tactics', 'bv_tactics', 'sat_tactic'], 'tactic/fpa') - add_lib('smt_tactic', ['smt'], 'tactic/smt') + add_lib('smt_tactic', ['smt'], 'smt/tactic') add_lib('sls_tactic', ['tactic', 'normal_forms', 'core_tactics', 'bv_tactics'], 'tactic/sls') # TODO: split muz_qe into muz, qe. Perhaps, we should also consider breaking muz into muz and pdr. add_lib('muz_qe', ['smt', 'sat', 'smt2parser']) diff --git a/src/tactic/smt/ctx_solver_simplify_tactic.cpp b/src/smt/tactic/ctx_solver_simplify_tactic.cpp similarity index 100% rename from src/tactic/smt/ctx_solver_simplify_tactic.cpp rename to src/smt/tactic/ctx_solver_simplify_tactic.cpp diff --git a/src/tactic/smt/ctx_solver_simplify_tactic.h b/src/smt/tactic/ctx_solver_simplify_tactic.h similarity index 100% rename from src/tactic/smt/ctx_solver_simplify_tactic.h rename to src/smt/tactic/ctx_solver_simplify_tactic.h diff --git a/src/tactic/smt/smt_tactic.cpp b/src/smt/tactic/smt_tactic.cpp similarity index 100% rename from src/tactic/smt/smt_tactic.cpp rename to src/smt/tactic/smt_tactic.cpp diff --git a/src/tactic/smt/smt_tactic.h b/src/smt/tactic/smt_tactic.h similarity index 100% rename from src/tactic/smt/smt_tactic.h rename to src/smt/tactic/smt_tactic.h