added some more statistics to houdini

added a coupe more regressions for houdini+inlineDepth

1 files changed, 6 insertions, 0 deletions

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 7e2ea87a..ed61b709 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -439,12 +439,18 @@ namespace Microsoft.Boogie {
       if (CommandLineOptions.Clo.ContractInfer) {

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

         Houdini.HoudiniOutcome outcome = houdini.PerformHoudiniInference();

+        int numTrueAssigns = 0;

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

         foreach (var x in outcome.assignment) {

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

+          if (x.Value)

+            numTrueAssigns++;

         }

         if (CommandLineOptions.Clo.Trace) {

+          Console.WriteLine("Number of true assignments = " + numTrueAssigns);

+          Console.WriteLine("Number of false assignments = " + (outcome.assignment.Count - numTrueAssigns));

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

+          Console.WriteLine("Number of prover queries = " + Houdini.HoudiniSession.numProverQueries);

         }

         errorCount = outcome.ErrorCount;

         verified = outcome.Verified;