Frama-C API - Extensible_checker
class check : ?is_normalized:bool -> string -> Frama_c_kernel.Visitor.frama_c_visitor
Frama-C Frama-C Extensible_checkerclass check : ?is_normalized:bool -> string -> Frama_c_kernel.Visitor.frama_c_visitor