Restart prover after out-of-memory error; honour -restartProver option

1 files changed, 2 insertions, 0 deletions

diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs
index 2b2d3f94..1dcfdbff 100644
--- a/Source/Provers/SMTLib/SMTLibProcess.cs
+++ b/Source/Provers/SMTLib/SMTLibProcess.cs
@@ -26,6 +26,7 @@ namespace Microsoft.Boogie.SMTLib
     readonly int smtProcessId;

     static int smtProcessIdSeq = 0;

     ConsoleCancelEventHandler cancelEvent;

+    public bool NeedsRestart;

 

     public static ProcessStartInfo ComputerProcessStartInfo(string executable, string options)

     {

@@ -110,6 +111,7 @@ namespace Microsoft.Boogie.SMTLib
       while (true) {

         var sx = GetProverResponse();

         if (sx == null) {

+          this.NeedsRestart = true;

           HandleError("Prover died");

           return;

         }