Fix silly concurrency bug (#778)

boogie-org · Sep 6, 2023 · f088818 · f088818
1 parent 85191e1
commit f088818
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/Source/Core/AST/Program.cs b/Source/Core/AST/Program.cs
@@ -1,4 +1,5 @@
 using System;
+using System.Collections.Concurrent;
 using System.Collections.Generic;
 using System.Diagnostics.Contracts;
 using System.Linq;
@@ -400,7 +401,7 @@ public List<GlobalVariable /*!*/> /*!*/ GlobalVariables
     }
   }
 
-  public readonly ISet<TrackedNodeComponent> AllCoveredElements = new HashSet<TrackedNodeComponent>();
+  public readonly ConcurrentBag<TrackedNodeComponent> AllCoveredElements = new();
 
   public IEnumerable<Block> Blocks()
   {
@@ -589,4 +590,4 @@ public PredicateCmd CreateCandidateInvariant(Expr e, string tag = null)
   }
 
   public Monomorphizer monomorphizer;
-}
+}
diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -2,7 +2,7 @@
 
   <!-- Target framework and package configuration -->
   <PropertyGroup>
-    <Version>3.0.2</Version>
+    <Version>3.0.3</Version>
     <TargetFramework>net6.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>