keep some stats for debugging

1 files changed, 2 insertions, 0 deletions

diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index 4f459a6f..375c343c 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -508,6 +508,7 @@ namespace VC {
     public bool PersistCallTree;

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

     public int numInlined = 0;

+    public int vcsize = 0;

     private bool useSummary;

     private SummaryComputation summaryComputation;

     private HashSet<string> procsThatReachedRecBound;

@@ -1270,6 +1271,7 @@ namespace VC {
         Console.WriteLine(">> SI: VC Size: {0}", vState.vcSize);

       }

 

+      vcsize = vState.vcSize;

       numInlined = (calls.candidateParent.Keys.Count + 1) - (calls.currCandidates.Count);

 

       var rbound = "Procs that reached bound: ";