mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
Enforced well_sorted_check/type_check by default (to match default parameter settings and to produce better error messages).
Fixes #180 Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
0cd406ca0b
commit
9d31b64273
|
@ -33,7 +33,7 @@ context_params::context_params() {
|
|||
m_trace = false;
|
||||
m_debug_ref_count = false;
|
||||
m_smtlib2_compliant = false;
|
||||
m_well_sorted_check = false;
|
||||
m_well_sorted_check = true;
|
||||
m_timeout = UINT_MAX;
|
||||
updt_params();
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue