slight change to houdini logging

1 files changed, 4 insertions, 4 deletions

diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index 7c043906..9735aec1 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -638,6 +638,9 @@ namespace Microsoft.Boogie.Houdini {
     }

 

     private void UpdateAssignment(HoudiniState current, RefutedAnnotation refAnnot) {

+      if (CommandLineOptions.Clo.Trace) {

+        Console.WriteLine("Removing " + refAnnot.Constant);

+      }

       current.Assignment.Remove(refAnnot.Constant);

       current.Assignment.Add(refAnnot.Constant, false);

       this.NotifyConstant(refAnnot.Constant);

@@ -1191,10 +1194,7 @@ namespace Microsoft.Boogie.Houdini {
 

           //check the VC with the current assignment

           if (CommandLineOptions.Clo.Trace) {

-            Console.WriteLine("Verifying " + session.descriptiveName + " with the following assignment:");

-            foreach (var key in current.Assignment.Keys) {

-              Console.WriteLine(key + " -> " + current.Assignment[key]);

-            }

+            Console.WriteLine("Verifying " + session.descriptiveName);

           }

           outcome = session.Verify(checker, currentAx, out errors);

           this.NotifyOutcome(outcome);