Worked on the parallelization.

1 files changed, 5 insertions, 0 deletions

diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index 3249708e..5fe0bcea 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -188,6 +188,7 @@ namespace Microsoft.Boogie {
         {

           TheoremProver.SetTimeOut(0);

         }

+        TheoremProver.Reset();

     }

 

     private static void Setup(Program prog, ProverContext ctx)

@@ -465,6 +466,10 @@ namespace Microsoft.Boogie {
     public virtual void Close() {

     }

 

+    public void Reset()

+    {

+    }

+

     /// <summary>

     /// MSchaef: Allows to Push a VCExpression as Axiom on the prover stack (beta)

     /// for now it is only implemented by ProcessTheoremProver and still requires some