mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 19:35:50 +00:00
Code Activity

fix set-up

Browse source
This commit is contained in:
Thai Trinh 2017-12-08 18:45:56 +08:00
parent 3a5c30bd9b
commit b181d9d5fa
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/smt_setup.cpp
View file

@ -727,10 +727,10 @@ namespace smt {
setup_str();
}
else if (m_params.m_string_solver == "seq") {
setup_seq();
setup_unknown();
}
else if (m_params.m_string_solver == "auto") {
setup_seq();
setup_unknown();
}
else {
throw default_exception("invalid parameter for smt.string_solver, valid options are 'z3str3', 'seq', 'auto'");