Minor changes

1 files changed, 8 insertions, 0 deletions

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index 9ec8b6f1..594f2509 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -1310,6 +1310,10 @@ namespace Microsoft.Boogie.SMTLib
                     break;

                   }

                 }

+                else

+                {

+                  mod = 2;

+                }

                 lastCnt = cnt;

 

                 if (0 < split0.Count)

@@ -1439,6 +1443,10 @@ namespace Microsoft.Boogie.SMTLib
         expr = VCExprGen.AndSimp(expr, lit);

       }

       SendThisVC("(assert " + VCExpr2String(expr, 1) + ")");

+      if (options.Solver == SolverKind.Z3)

+      {

+        SendThisVC("(apply (then (using-params propagate-values :max_rounds 1) simplify) :print false)");

+      }

       FlushLogFile();

       SendThisVC("(check-sat)");

       return GetResponse();