mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-22 05:43:39 +00:00
Code Activity

disable stronger arrangements in theory_str for now

Browse source
This commit is contained in:
Murphy Berzish 2016-12-09 16:55:34 -05:00
parent 515cd4a3f3
commit 737565180f
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

@ -44,7 +44,7 @@ theory_str::theory_str(ast_manager & m):
opt_CheckVariableScope(true), opt_CheckVariableScope(true),
opt_UseFastLengthTesterCache(true), opt_UseFastLengthTesterCache(true),
opt_UseFastValueTesterCache(true), opt_UseFastValueTesterCache(true),
opt_AssertStrongerArrangements(true), opt_AssertStrongerArrangements(false),
/* Internal setup */ /* Internal setup */
search_started(false), search_started(false),
m_autil(m), m_autil(m),