Merge

1 files changed, 5 insertions, 4 deletions

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 028ff1dd..4073c722 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -440,11 +440,12 @@ namespace Microsoft.Boogie {
       if (CommandLineOptions.Clo.ContractInfer) {

         Houdini.Houdini houdini = new Houdini.Houdini(program, true);

         Houdini.HoudiniOutcome outcome = houdini.PerformHoudiniInference();

+        Console.WriteLine("Assignment computed by Houdini:");

+        foreach (var x in outcome.assignment) {

+          Console.WriteLine(x.Key + " = " + x.Value);

+        }

         if (CommandLineOptions.Clo.Trace) {

-          Console.WriteLine("Assignment computed by Houdini:");

-          foreach (var x in outcome.assignment) {

-            Console.WriteLine(x.Key + " = " + x.Value);

-          }

+          Console.WriteLine("Prover time = " + Houdini.HoudiniSession.proverTime);

         }

         errorCount = outcome.ErrorCount;

         verified = outcome.Verified;