From f057d2ec10bdf93bb8ef73cbb3ea80d56159faeb Mon Sep 17 00:00:00 2001
From: Bryan Parno <parno@microsoft.com>
Date: Wed, 1 Jul 2015 11:53:59 -0700
Subject: Add code to calculate various interesting statistics about Dafny
 files.

---
 Source/DafnyDriver/DafnyDriver.cs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'Source/DafnyDriver/DafnyDriver.cs')

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index ce4d726f..9fdc9320 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -199,6 +199,13 @@ namespace Microsoft.Dafny
           }
           exitValue = allOk ? ExitValue.VERIFIED : ExitValue.NOT_VERIFIED;
         }
+
+        if (err == null && dafnyProgram != null && DafnyOptions.O.PrintStats) {
+          Util.PrintStats(dafnyProgram);
+        }
+        if (err == null && dafnyProgram != null && DafnyOptions.O.PrintFunctionCallGraph) {
+          Util.PrintFunctionCallGraph(dafnyProgram);
+        }
       }
       return exitValue;
     }
-- 
cgit v1.2.3