Up – Package index » goblint » Library goblint.lib » Spec

Module `Spec`

Analysis by specification file.

goblint

module SC = SpecCore

module Spec : sig ... end