Class Filecheck.Extensible_checker.check

class check : ?is_normalized:bool -> string -> Visitor.frama_c_visitor