diff options
Diffstat (limited to 'Source/Houdini/ConcurrentHoudini.cs')
-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; |