diff options
Diffstat (limited to 'Source/Houdini/ConcurrentHoudini.cs')
-rw-r--r-- | Source/Houdini/ConcurrentHoudini.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/ConcurrentHoudini.cs b/Source/Houdini/ConcurrentHoudini.cs index 3eeffa74..be7b1b79 100644 --- a/Source/Houdini/ConcurrentHoudini.cs +++ b/Source/Houdini/ConcurrentHoudini.cs @@ -222,7 +222,7 @@ namespace Microsoft.Boogie.Houdini List<Counterexample> errors; ProverInterface.Outcome outcome = TryCatchVerify(session, stage, completedStages, out errors); this.NotifyOutcome(outcome); - Console.WriteLine("***ERROR with id {0} --- {1}***", id, errors.Count); + DebugRefutedCandidates(currentHoudiniState.Implementation, errors); #region Explain Houdini |