diff options
author | Pantazis Deligiannis <pdeligia@me.com> | 2013-10-02 17:10:22 +0100 |
---|---|---|
committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-10-02 17:10:22 +0100 |
commit | 2a32d6e6a9b7e193c7a49893acc52397f1824d1d (patch) | |
tree | 409b19daf8d7522a7809e3dd5427331b01e66c1e /Source | |
parent | 591065d4e4388342448351a2a6ae3bdf4fbcd296 (diff) |
removal of comment
Diffstat (limited to 'Source')
-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 |