Dump_config
val dump_to_json : unit -> Yojson.Basic.t
Builds a Json object describing the Frama-C configuration.
val dump_to_stdout : unit -> unit
Dumps a Json object describing the Frama-C configuration to stdout.
Frama-C