diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-10-06 16:38:52 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-10-06 16:38:52 +0100 |
| commit | e3e9aff76e22d05cdb3c558c8106d4a201aa0141 (patch) | |
| tree | 4748d842595bb7ea8e27dba76d9dff4a548ec934 /Source/Houdini/Houdini.cs | |
| parent | 3297f35c08738cd95bd01c1f4ab1e8baadddf67e (diff) | |
fixed bug with the exchange refuted invariants process
Diffstat (limited to 'Source/Houdini/Houdini.cs')
| -rw-r--r-- | Source/Houdini/Houdini.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index c3575800..4b533e5b 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -712,6 +712,8 @@ namespace Microsoft.Boogie.Houdini { }
protected void AddRelatedToWorkList(RefutedAnnotation refutedAnnotation) {
+ if (refutedAnnotation == null) Console.WriteLine("TEEEEEST!!!");
+
Contract.Assume(currentHoudiniState.Implementation != null);
foreach (Implementation implementation in FindImplementationsToEnqueue(refutedAnnotation, refutedAnnotation.RefutationSite)) {
if (!currentHoudiniState.isBlackListed(implementation.Name)) {
|