Do not show excessive top thread id uniqueness counter in warnings

goblint · Jan 3, 2024 · 2686841 · 2686841
1 parent 2d91b7a
commit 2686841
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/src/cdomains/threadIdDomain.ml b/src/cdomains/threadIdDomain.ml
@@ -56,10 +56,13 @@ struct
         (struct let name = "no node" end))
 
   let show = function
-    | (f, Some (n, i)) ->
+    | (f, Some (n, Some i)) ->
       f.vname
-      ^ "@" ^ (CilType.Location.show (UpdateCil.getLoc n))
-      ^ "#" ^ Option.fold ~none:"top" ~some:string_of_int i
+      ^ "@" ^ CilType.Location.show (UpdateCil.getLoc n)
+      ^ "#" ^ string_of_int i
+    | (f, Some (n, None)) ->
+      f.vname
+      ^ "@" ^ CilType.Location.show (UpdateCil.getLoc n)
     | (f, None) -> f.vname
 
   include Printable.SimpleShow (