module Filecheck:sig
..end
val check_ast : ?is_normalized:bool -> ?ast:Cil_types.file -> string -> unit
ast
argument
at your own risks.
Note that the check is only partial.
Since Aluminium-20160501
Change in Silicon-20161101: adds optional ast argument
module type Extensible_checker =sig
..end
val extend_checker : ((module Filecheck.Extensible_checker) ->
(module Filecheck.Extensible_checker)) ->
unit