package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.ThreadAnalysis`

Created threads and their uniqueness analysis (thread).

module T = ThreadIdDomain.Thread

module TS = ConcDomain.ThreadSet

module Spec : sig ... end