package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.Uninit`

Local variable initialization analysis.

module M = Messages

module AD = Goblint_lib.ValueDomain.AD

module IdxDom = Goblint_lib.ValueDomain.IndexDomain

module Offs = ValueDomain.Offs

module Spec : sig ... end