Module Filecheck

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