Improve support for diagnosing timeouts.

1 files changed, 2 insertions, 1 deletions

diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index 7c690eff..33baf798 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -217,6 +217,7 @@ namespace Microsoft.Boogie {
     private void Setup(Program prog, ProverContext ctx)

     {

       Program = prog;

+      // TODO(wuestholz): Is this lock necessary?

       lock (Program.TopLevelDeclarations)

       {

         foreach (Declaration decl in Program.TopLevelDeclarations)

@@ -362,7 +363,7 @@ namespace Microsoft.Boogie {
       thmProver.BeginCheck(descriptiveName, vc, handler);

       //  gen.ClearSharedFormulas();    PR: don't know yet what to do with this guy

 

-      ProverTask = Task.Factory.StartNew(() => { WaitForOutput(null); } , TaskCreationOptions.LongRunning);

+      ProverTask = Task.Factory.StartNew(() => { WaitForOutput(null); }, TaskCreationOptions.LongRunning);

     }

 

     public ProverInterface.Outcome ReadOutcome() {