Module Goblint_lib.Witness

Output of ARG as GraphML.

module M = Messages
val write_file : 'a -> (module Svcomp.Task) -> (module MyARG.S with type Edge.t = MyARG.InlineEdge.t) -> unit
val print_svcomp_result : string -> unit
val print_task_result : Svcomp.Result.t -> unit
val init : (module MyCFG.FileCfg) -> unit
module Result (R : ResultQuery.SpecSysSol2) : sig ... end