mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-19 07:09:03 +00:00
Code Activity

disable deferred eqc check in theory_str

Browse source
This commit is contained in:
Murphy Berzish 2016-09-08 19:55:08 -04:00
parent c83e39d3b8
commit 82e07aae8c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_str.cpp
View file

@ -38,7 +38,7 @@ theory_str::theory_str(ast_manager & m):
opt_LCMUnrollStep(2),
opt_NoQuickReturn_IntegerTheory(false),
opt_DisableIntegerTheoryIntegration(false),
opt_DeferEQCConsistencyCheck(true),
opt_DeferEQCConsistencyCheck(false),
opt_CheckVariableScope(true),
/* Internal setup */
search_started(false),