Module Goblint_lib.Violation

Violation checking in an ARG.

module type ViolationArg = sig ... end
val find_sinks : (module ViolationArg with type Node.t = 'node) -> 'node0 -> bool
module type Feasibility = sig ... end
exception Found
module type PathArg = MyARG.S with module Edge = MyARG.InlineEdge
type 'node result =
  1. | Feasible of (module PathArg with type Node.t = 'node)
  2. | Infeasible of ('node * MyARG.inline_edge * 'node) list
  3. | Unknown
val find_path : (module ViolationArg with type Node.t = 'node) -> (module Feasibility with type Node.t = 'node0) -> 'node1 result