mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-07 06:33:23 +00:00
Code Activity

remove dead code

Browse source
This commit is contained in:
Nuno Lopes 2018-07-07 19:07:13 +01:00
parent dfbd285dae
commit d2b77b1170
1 changed files with 0 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tactic/smtlogics/qfbv_tactic.cpp
View file

@ -89,14 +89,6 @@ static tactic * mk_qfbv_tactic(ast_manager& m, params_ref const & p, tactic* sat
params_ref solver_p; params_ref solver_p;
solver_p.set_bool("preprocess", false); // preprocessor of smt::context is not needed. 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; params_ref big_aig_p;
big_aig_p.set_bool("aig_per_assertion", false); big_aig_p.set_bool("aig_per_assertion", false);