Frama-C API - Error
exception Typing_error of Frama_c_kernel.Cil_datatype.Location.t * Options.category option * stringexception Not_yet of Frama_c_kernel.Cil_datatype.Location.t * Options.category option * string
Frama-C Frama-C Errorexception Typing_error of Frama_c_kernel.Cil_datatype.Location.t * Options.category option * stringexception Not_yet of Frama_c_kernel.Cil_datatype.Location.t * Options.category option * string