diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-11-18 14:56:07 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-11-18 14:56:07 -0800 |
| commit | 924a89f9022f0d4fa7201376eff55c0294cd4a72 (patch) | |
| tree | cf071d3c7d9652b81a6ee54711d97818d1b87cf8 /Source/BoogieDriver | |
| parent | 915225c14ba71e94ed0f43fef8aaeb4dfbf49e71 (diff) | |
commented calls to GC.Collect()
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs index 7b5576c1..4073c722 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -444,6 +444,9 @@ namespace Microsoft.Boogie { foreach (var x in outcome.assignment) {
Console.WriteLine(x.Key + " = " + x.Value);
}
+ if (CommandLineOptions.Clo.Trace) {
+ Console.WriteLine("Prover time = " + Houdini.HoudiniSession.proverTime);
+ }
errorCount = outcome.ErrorCount;
verified = outcome.Verified;
inconclusives = outcome.Inconclusives;
|