From d9d3ef78d2a4c8e643e33cdfaf5ae3b30c1c2a4d Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Fri, 19 Jan 2018 16:14:56 -0500
Subject: [PATCH] temporarily disable final check progress checking it is
 interfering with regex automata solving

---
 src/smt/theory_str.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index 5d66a4ec3..933796d9c 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -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),