mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
parent
7a0b58bcd5
commit
3a8195b9c3
|
@ -202,7 +202,7 @@ bool context_params::is_shell_only_parameter(char const* _p) const {
|
|||
std::string p(_p);
|
||||
lower_case(p);
|
||||
if (p == "dump_models" || p == "well_sorted_check" ||
|
||||
p == "model_validate" || p == "smtlib2_compliant" ||
|
||||
p == "model_validate" ||
|
||||
p == "stats")
|
||||
return true;
|
||||
|
||||
|
|
Loading…
Reference in a new issue