package goblint

  1. Overview
  2. Docs

Module Goblint_lib.PthreadOnce

Must active and have passed pthreadOnce calls (pthreadOnce).

module LF = LibraryFunctions
module Mval = PreValueDomain.Mval
module Spec : sig ... end