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

Module `Goblint_lib.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 PathSensitive3 (Spec : Analyses.Spec) : Analyses.Spec

Add path sensitivity to a analysis