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.