Module Goblint_lib.WitnessConstraints

An analysis specification for witnesses.

Add path sensitivity to a analysis