StackTaskResult (p.goblint.2.5.0.doc.goblint.lib.Goblint

Parameters

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

module Arg : sig ... end

val result : Result.t

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

val is_violation : TaskResult.Arg.Node.t list -> bool

val is_sink : TaskResult.Arg.Node.t list -> bool