We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7cef967 commit 15b269fCopy full SHA for 15b269f
src/analyses/commonPriv.ml
@@ -266,7 +266,7 @@ struct
266
let global x = `Right x
267
end
268
269
- (** Mutexes / globals to which values have been published, i.e. for which the initializers need not be read **)
+ (** Mutexes / clusters of globals to which values have been published, i.e., for which the initializers need not be read **)
270
module LMust = struct
271
include SetDomain.Reverse (SetDomain.ToppedSet (Printable.Prod(LLock)(Cluster)) (struct let topname = "All locks" end))
272
let name () = "LMust"
0 commit comments