z3 process is killed now

2 files changed, 6 insertions, 2 deletions

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index 5eda8263..206d5376 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -919,7 +919,7 @@ namespace VC {
     }

 

 

-    public void Close() {

+    virtual public void Close() {

       foreach (Checker checker in checkers) {

         Contract.Assert(checker != null);

         checker.Close();

diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index edbba25a..f3a7e27e 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -22,6 +22,10 @@ namespace VC
 

     public class StratifiedVCGen : VCGen

     {

+      public override void Close() {

+        prover.Close();

+        base.Close();

+      }

         private Dictionary<string, StratifiedInliningInfo> implName2StratifiedInliningInfo;

         public bool PersistCallTree;

         public static Dictionary<string, int> callTree = null;

@@ -973,7 +977,7 @@ namespace VC
             this.prover = prover;

           }

 

-          public Outcome CheckVC() {

+          private Outcome CheckVC() {

             prover.Check();

             ProverInterface.Outcome outcome = prover.CheckOutcomeCore(reporter);

             return ConditionGeneration.ProverInterfaceOutcomeToConditionGenerationOutcome(outcome);