Goblint_lib.ViolationZ3
ARG path feasibility checking using weakest precondition and Z3 (not installed!).
Z3
module WP = Violation.UnknownFeasibility