From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 11 May 2011 01:49:00 +0000 (+0000)
Subject:  Improvement. Add array size statistics when printing out stats.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=0c9bb509eb89df4c2efbd5edf9a0cc92d570de1e;p=francis%2Fstp.git

 Improvement. Add array size statistics when printing out stats.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1319 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/AST/ArrayTransformer.cpp b/src/AST/ArrayTransformer.cpp
index d0ca998..5f71254 100644
--- a/src/AST/ArrayTransformer.cpp
+++ b/src/AST/ArrayTransformer.cpp
@@ -46,6 +46,9 @@ namespace BEEV
     delete TransformMap;
     TransformMap = NULL;
 
+    if (bm->UserFlags.stats_flag)
+      printArrayStats();
+
     runTimes->stop(RunTimes::Transforming);
 
     return result;
diff --git a/src/AST/ArrayTransformer.h b/src/AST/ArrayTransformer.h
index 62d5d1b..12d5ceb 100644
--- a/src/AST/ArrayTransformer.h
+++ b/src/AST/ArrayTransformer.h
@@ -1,6 +1,6 @@
 // -*- c++ -*-
 /********************************************************************
- * AUTHORS: Vijay Ganesh
+ * AUTHORS: Vijay Ganesh, Trevor Hansen
  *
  * BEGIN DATE: November, 2005
  *
@@ -132,6 +132,21 @@ namespace BEEV
     {
       arrayToIndexToRead.clear();
     }
+
+    void printArrayStats()
+    {
+      cerr << "Array Sizes:";
+
+      for (ArrType::const_iterator
+             iset = arrayToIndexToRead.begin(),
+             iset_end = arrayToIndexToRead.end();
+           iset != iset_end; iset++)
+        {
+          cerr << iset->second.size() << " : ";
+        }
+      cerr << endl;
+    }
+
   }; //end of class Transformer
 
 };//end of namespace