sig
val check_ast :
?is_normalized:bool -> ?ast:Cil_types.file -> string -> unit
module type Extensible_checker =
sig
class check : ?is_normalized:bool -> string -> Visitor.frama_c_visitor
end
val extend_checker :
((module Filecheck.Extensible_checker) ->
(module Filecheck.Extensible_checker)) ->
unit
end