3 (*****************************************************************************)
5 (*****************************************************************************)
6 val testone
: string (*prefix*) -> string (*test*) -> bool (*compare_expected*) -> unit
7 val testall
: ?expected_score_file
:string -> 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.metavar list list
* Ast_cocci.rule list
*
41 Ast_cocci.meta_name list list list
*
42 Ast_cocci.meta_name list list list
*
43 (Ast_cocci.meta_name list list list
(*used after list*) *
44 (*fresh used after list*)
45 Ast_cocci.meta_name list list list
*
46 (*fresh used after list seeds*)
47 Ast_cocci.meta_name list list list
) *
48 Ast_cocci.meta_name list list list
*
53 val rule_elem_of_string : string -> filename option -> Ast_cocci.rule_elem
57 val flows_of_ast : Ast_c.program -> Control_flow_c.cflow list
58 val print_flow : Control_flow_c.cflow -> unit
61 Ast_cocci.rule list ->
62 Ast_cocci.meta_name list list list ->
63 (Lib_engine.ctlcocci *
64 ((Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif)
69 val one_flow : Control_flow_c.cflow list -> Control_flow_c.cflow
70 val one_ctl : Lib_engine.ctlcocci list list -> Lib_engine.ctlcocci