diff options
author | Bryan Parno <parno@microsoft.com> | 2015-07-01 11:53:59 -0700 |
---|---|---|
committer | Bryan Parno <parno@microsoft.com> | 2015-07-01 11:53:59 -0700 |
commit | f057d2ec10bdf93bb8ef73cbb3ea80d56159faeb (patch) | |
tree | 6a5614c01600993197394ce049ada2e9999bd50f /Source/DafnyDriver/DafnyDriver.cs | |
parent | 9e0c60f26bc3c228447154f0d2f9cbeaee9c1974 (diff) |
Add code to calculate various interesting statistics about Dafny files.
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.cs')
-rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 7 |
1 files changed, 7 insertions, 0 deletions
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;
}
|