mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-30 12:25:51 +00:00
Code Activity

fix #3713: too much caching in dom-simplify for OR expressions

Browse source
This commit is contained in:
Nuno Lopes 2020-04-06 12:11:26 +01:00
parent 346d852bbd
commit 3313590b95
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tactic/core/dom_simplify_tactic.cpp
View file

@ -331,6 +331,8 @@ expr_ref dom_simplify_tactic::simplify_and_or(bool is_and, app * e) {
if (!assert_expr(r, !is_and)) { \
pop(scope_level() - old_lvl); \
r = is_and ? m.mk_false() : m.mk_true(); \
if (!is_and) \
reset_cache(); \
return r; \
}
_SIMP_ARG(arg);