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.
val check_ast : ?is_normalized:bool -> ?ast:Cil_types.file -> string -> unit
Visits the given AST (defaults to the AST of the current project)
to check whether it is consistent. Use a non-default ast
argument
at your own risks.
Note that the check is only partial.
module type Extensible_checker =sig
..end
val extend_checker : ((module Filecheck.Extensible_checker) ->
(module Filecheck.Extensible_checker)) ->
unit
Allows to register an extension to current checks. The function will be given as input the current state of the checker.