package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module `Goblint_lib.Spec`

Analysis using finite automaton specification file (spec).

author Ralf Vogler

see https://www2.in.tum.de/hp/file?fid=1323
Vogler, R. Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint. Section 4.

module SC : sig ... end

module Spec : sig ... end