mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-25 03:16:21 +00:00
Code Activity

fix whitespace inconsistencies in qfnia_tactic.cpp

Browse source 
Remove trailing space after mk_propagate_values_tactic and replace
tab-based indentation with spaces for mk_card2bv_tactic, introduced
in the recent 'add solve-eqs to the qfnia tactic' commit.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
This commit is contained in:
github-actions[bot] 2026-05-02 21:01:26 +00:00 • committed by GitHub
parent eefb644c93
commit 779892c166
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tactic/smtlogics/qfnia_tactic.cpp
View file

@ -81,13 +81,13 @@ static tactic * mk_qfnia_preamble(ast_manager & m, params_ref const & p_ref) {
return return
and_then(mk_simplify_tactic(m), and_then(mk_simplify_tactic(m),
mk_propagate_values_tactic(m), mk_propagate_values_tactic(m),
mk_solve_eqs_tactic(m), mk_solve_eqs_tactic(m),
using_params(mk_ctx_simplify_tactic(m), ctx_simp_p), using_params(mk_ctx_simplify_tactic(m), ctx_simp_p),
using_params(mk_simplify_tactic(m), pull_ite_p), using_params(mk_simplify_tactic(m), pull_ite_p),
mk_elim_uncnstr_tactic(m), mk_elim_uncnstr_tactic(m),
using_params(mk_lia2card_tactic(m, lia2card_p), lia2card_p), using_params(mk_lia2card_tactic(m, lia2card_p), lia2card_p),
mk_card2bv_tactic(m, p_ref), mk_card2bv_tactic(m, p_ref),
skip_if_failed(using_params(mk_cofactor_term_ite_tactic(m), elim_p))); skip_if_failed(using_params(mk_cofactor_term_ite_tactic(m), elim_p)));
} }