package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Witness.WitnessTaskResult`

module Arg : MyARG.S with module Edge = MyARG.InlineEdge

val result : Svcomp.Result.t

val invariant : Arg.Node.t -> Invariant.t

val is_violation : Arg.Node.t -> bool

val is_sink : Arg.Node.t -> bool