From 3297f35c08738cd95bd01c1f4ab1e8baadddf67e Mon Sep 17 00:00:00 2001 From: Pantazis Deligiannis Date: Wed, 2 Oct 2013 22:27:35 +0100 Subject: small refactoring --- Source/Houdini/ConcurrentHoudini.cs | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'Source/Houdini') diff --git a/Source/Houdini/ConcurrentHoudini.cs b/Source/Houdini/ConcurrentHoudini.cs index be7b1b79..687dfb78 100644 --- a/Source/Houdini/ConcurrentHoudini.cs +++ b/Source/Houdini/ConcurrentHoudini.cs @@ -91,7 +91,7 @@ namespace Microsoft.Boogie.Houdini RefutedAnnotation ra = refutedSharedAnnotations[key]; if (kv.Key != null) { - if (CommandLineOptions.Clo.DebugParallelHoudini) + if (CommandLineOptions.Clo.DebugConcurrentHoudini) Console.WriteLine("(+) " + ra.Constant + "," + ra.Kind + "," + ra.CalleeProc + "," + ra.RefutationSite); AddRelatedToWorkList(ra); @@ -100,9 +100,6 @@ namespace Microsoft.Boogie.Houdini } } - if (CommandLineOptions.Clo.DebugParallelHoudini) - Console.WriteLine("# refuted annotations received from the shared exchanging set: " + count); - return count > 0 ? true : false; } @@ -145,8 +142,8 @@ namespace Microsoft.Boogie.Houdini } } - if (CommandLineOptions.Clo.DebugParallelHoudini) - Console.WriteLine("# exchange set size: " + refutedSharedAnnotations.Count); + if (CommandLineOptions.Clo.DebugConcurrentHoudini) + Console.WriteLine("# number of shared refuted annotations: " + refutedSharedAnnotations.Count); if (ExchangeRefutedAnnotations()) dequeue = false; -- cgit v1.2.3