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.