module Filecheck: sig
.. end
This file performs various consistency checks over a cil file.
Code may vary depending on current development of the kernel and/or
identified bugs.
class check : ?is_normalized:bool -> string ->
Visitor.frama_c_visitor
visitor that performs various consistency checks over the AST.
val check_ast : ?is_normalized:bool -> string -> unit
performs the checks of the check
class on the current AST.
Since Aluminium-20160501