Goblint_lib.PthreadSignals
Must received signals analysis for Pthread condition variables (pthreadSignals).
pthreadSignals
module LF = LibraryFunctions
module Spec : Analyses.MCPSpec