Module Goblint_lib.Svcomp

SV-COMP tasks and results.

module Specification = SvcompSpec
module type Task = sig ... end
val task : (module Task) option 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