From d2b77b11704b3efd3d8a9851c6a13f1e9863f135 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sat, 7 Jul 2018 19:07:13 +0100 Subject: [PATCH] remove dead code --- src/tactic/smtlogics/qfbv_tactic.cpp | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/tactic/smtlogics/qfbv_tactic.cpp b/src/tactic/smtlogics/qfbv_tactic.cpp index bc93b4e7b..a8ad95319 100644 --- a/src/tactic/smtlogics/qfbv_tactic.cpp +++ b/src/tactic/smtlogics/qfbv_tactic.cpp @@ -89,14 +89,6 @@ static tactic * mk_qfbv_tactic(ast_manager& m, params_ref const & p, tactic* sat params_ref solver_p; solver_p.set_bool("preprocess", false); // preprocessor of smt::context is not needed. - params_ref no_flat_p; - no_flat_p.set_bool("flat", false); - - params_ref ctx_simp_p; - ctx_simp_p.set_uint("max_depth", 32); - ctx_simp_p.set_uint("max_steps", 50000000); - - params_ref big_aig_p; big_aig_p.set_bool("aig_per_assertion", false);