Module Goblint_lib.Svcomp

SV-COMP tasks and results.

module Specification = SvcompSpec
module type Task = sig ... end
val task : (module Task) option Batteries.ref
val is_error_function' : GoblintCil.varinfo -> Specification.t list -> bool
val is_error_function : GoblintCil.varinfo -> bool
val is_special_function : GoblintCil.varinfo -> bool
module Result : sig ... end
exception Error of string
val errorwith : string -> 'a
module type TaskResult = sig ... end
module StackTaskResult (TaskResult : TaskResult with module Arg.Edge = MyARG.InlineEdge) : sig ... end