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

Module `WitnessConstraints`

An analysis specification for witnesses.

module Node : Printable.S with type t = MyCFG.node

module Edge : Printable.S with type t = MyARG.inline_edge

module N : sig ... end

module PathSensitive3 (Spec : Analyses.Spec) : Analyses.Spec

Add path sensitivity to a analysis