Goblint_lib.PthreadBarriers
Must have waited barriers for Pthread barriers (pthreadBarriers).
pthreadBarriers
module LF = LibraryFunctions
module Spec : sig ... end