mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-25 21:57:00 +00:00
Code Activity

fix crash in gen_len_test_options when fast length testers are disabled

Browse source
This commit is contained in:
Murphy Berzish 2016-11-02 12:35:14 -04:00
parent 3da78f9d80
commit a61e1f17e8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_str.cpp
View file

@ -8553,7 +8553,7 @@ expr * theory_str::gen_len_test_options(expr * freeVar, expr * indicator, int tr
} }
} else { } else {
std::string i_str = int_to_string(i); std::string i_str = int_to_string(i);
expr_ref str_indicator(m_strutil.mk_string(i_str), m); str_indicator = expr_ref(m_strutil.mk_string(i_str), m);
} }
expr_ref or_expr(ctx.mk_eq_atom(indicator, str_indicator), m); expr_ref or_expr(ctx.mk_eq_atom(indicator, str_indicator), m);
orList.push_back(or_expr); orList.push_back(or_expr);