mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

temporarily disable final check progress checking

Browse source 
it is interfering with regex automata solving
This commit is contained in:
Murphy Berzish 2018-01-19 16:14:56 -05:00
parent 2065ea88ee
commit d9d3ef78d2
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

@ -35,7 +35,7 @@ namespace smt {
m_params(params),
/* Options */
opt_EagerStringConstantLengthAssertions(true),
opt_VerifyFinalCheckProgress(true),
opt_VerifyFinalCheckProgress(false),
opt_LCMUnrollStep(2),
opt_NoQuickReturn_IntegerTheory(false),
opt_DisableIntegerTheoryIntegration(false),