package goblint

  1. Overview
  2. Docs

Module Goblint_lib.MutexGhosts

Analysis for generating ghost variables corresponding to mutexes (mutexGhosts).

module NodeSet = Queries.NS
module Spec : sig ... end