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