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