StackTaskResult (goblint.Goblint_lib.Svcomp.StackTaskResult)

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