Module `Goblint_lib.PthreadOnce`

Must active and have passed pthreadOnce calls (pthreadOnce).

module LF = LibraryFunctions

module Mval = PreValueDomain.Mval

module Spec : sig ... end