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.