3 (*****************************************************************************)
5 (*****************************************************************************)
6 val testone
: string (*test*) -> bool (*compare_expected*) -> unit
7 val testall
: unit -> unit
9 (*****************************************************************************)
10 (* works with tests-big/. The .res, .ok, .spatch_ok, .failed, .var *)
11 (*****************************************************************************)
12 val test_okfailed
: filename
(*cocci*) -> filename
(*c*) list
-> unit
13 val test_regression_okfailed
: unit -> unit
17 (*****************************************************************************)
18 (* the parameter is the result of Cocci.full_engine *)
19 (*****************************************************************************)
20 val compare_with_expected
: (filename
* filename
option) list
-> unit
23 (*****************************************************************************)
24 (* to test/debug the coccinelle subsystems *)
25 (*****************************************************************************)
28 * I moved the parsing_c/ subsystem testing in parsing_c/test_parsing_c.ml
29 * as I need it for other projects too.
32 val test_parse_cocci
: filename
-> unit
34 (*****************************************************************************)
35 (* to be called by ocaml toplevel, to test. *)
36 (*****************************************************************************)
39 filename
(* coccifile *) -> filename
option (* isofile *) ->
40 Ast_cocci.rule list
* Ast_cocci.meta_name list list list
*
41 Ast_cocci.meta_name list list list
*
42 Ast_cocci.meta_name list list list
* Ast_cocci.meta_name list list list
*
47 val rule_elem_of_string : string -> filename option -> Ast_cocci.rule_elem
51 val flows_of_ast : Ast_c.program -> Control_flow_c.cflow list
52 val print_flow : Control_flow_c.cflow -> unit
55 Ast_cocci.rule list ->
56 Ast_cocci.meta_name list list list ->
57 (Lib_engine.ctlcocci *
58 ((Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif)
63 val one_flow : Control_flow_c.cflow list -> Control_flow_c.cflow
64 val one_ctl : Lib_engine.ctlcocci list list -> Lib_engine.ctlcocci