diff options
author | Pantazis Deligiannis <pdeligia@me.com> | 2013-10-01 11:42:03 +0100 |
---|---|---|
committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-10-01 11:42:03 +0100 |
commit | 44095046bd0fd0bc1169ca7a6a19f93b5ac38e9a (patch) | |
tree | d56a7bf0be8d4371ac511d1579c12b8a5cd05331 | |
parent | 06771adc7acf710f055bfeeedc2c604c75ce945b (diff) |
fixed bug
-rw-r--r-- | Source/Houdini/ConcurrentHoudini.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Houdini/ConcurrentHoudini.cs b/Source/Houdini/ConcurrentHoudini.cs index f4bab257..3eeffa74 100644 --- a/Source/Houdini/ConcurrentHoudini.cs +++ b/Source/Houdini/ConcurrentHoudini.cs @@ -16,6 +16,8 @@ namespace Microsoft.Boogie.Houdini private static ConcurrentDictionary<string, RefutedAnnotation> refutedSharedAnnotations; + public static ConcurrentDictionary<string, RefutedAnnotation> RefutedSharedAnnotations { get { return refutedSharedAnnotations; } } + public ConcurrentHoudini(int id, Program program, HoudiniSession.HoudiniStatistics stats, string cexTraceFile = "houdiniCexTrace.bpl") { Contract.Assert(id >= 0); @@ -80,8 +82,6 @@ namespace Microsoft.Boogie.Houdini refutedSharedAnnotations = new ConcurrentDictionary<string, RefutedAnnotation>(); } - public ConcurrentDictionary<string, RefutedAnnotation> RefutedSharedAnnotations { get { return refutedSharedAnnotations; } } - private bool ExchangeRefutedAnnotations() { int count = 0; |