Source file `violationZ3.ml`

1
2
3
4
5
# 1 "src/violationZ3.no-z3.ml"
# 1 "src/witness/z3/violationZ3.no-z3.ml"
(** ARG path feasibility checking using weakest precondition and {!Z3} ({b not installed!}). *)

module WP = Violation.UnknownFeasibility (* default to always unknown if no Z3 installed *)