Do not expand lifted thread ID

goblint · Dec 15, 2023 · 152b54b · 152b54b
1 parent bbe86ae
commit 152b54b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/cdomains/threadIdDomain.ml b/src/cdomains/threadIdDomain.ml
@@ -199,6 +199,7 @@ module ThreadLiftNames = struct
   include Printable.DefaultConf
   let bot_name = "Bot Threads"
   let top_name = "Top Threads"
+  let expand1 = false
 end
 module Lift (Thread: S) =
 struct