Goblint_lib.WitnessConstraints
Analysis specification transformation for ARG construction.
module PathSensitive3 (Spec : Analyses.Spec) : Analyses.Spec
Add path sensitivity to a analysis