handling timeouts for fixedpoint engines

1 files changed, 1 insertions, 0 deletions

diff --git a/Source/Provers/SMTLib/Z3.cs b/Source/Provers/SMTLib/Z3.cs
index bc9e6992..1d9ff1c4 100644
--- a/Source/Provers/SMTLib/Z3.cs
+++ b/Source/Provers/SMTLib/Z3.cs
@@ -262,6 +262,7 @@ namespace Microsoft.Boogie.SMTLib
                 if (options.TimeLimit > 0)

                 {

                     options.AddWeakSmtOption("TIMEOUT", options.TimeLimit.ToString());

+                    options.AddWeakSmtOption("fixedpoint.TIMEOUT", options.TimeLimit.ToString());

                     // This kills the Z3 *instance* after the specified time, not a particular query, so we cannot use it.

                     // options.AddSolverArgument("/T:" + (options.TimeLimit + 1000) / 1000);

                 }