diff options
author | 2011-12-06 21:13:55 -0800 | |
---|---|---|
committer | 2011-12-06 21:13:55 -0800 | |
commit | 9cddddd5e14e41f60e1ea882624f843a78f93cd7 (patch) | |
tree | 48a81613cee2c95bb633e0c87355079950e92159 /Source/Houdini/Houdini.cs | |
parent | a24f6d113ae43115057a123b0fddff89ca709e1d (diff) |
more logging
Diffstat (limited to 'Source/Houdini/Houdini.cs')
-rw-r--r-- | Source/Houdini/Houdini.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index f6dd07bf..17ade510 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -268,7 +268,9 @@ namespace Microsoft.Boogie.Houdini { if (CommandLineOptions.Clo.Trace)
Console.WriteLine("Building call graph...");
this.callGraph = BuildCallGraph();
-
+ if (CommandLineOptions.Clo.Trace)
+ Console.WriteLine("Number of implementations = {0}", callGraph.Nodes.Count);
+
Inline();
this.vcgen = new VCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend);
|