X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/feec80c30d140c69f5d894bd09b6071247d0fbaa..755320b0f64ab4fe487507104d2929cfb19dcee1:/commons/common.mli diff --git a/commons/common.mli b/commons/common.mli index b665162..9d697ed 100644 --- a/commons/common.mli +++ b/commons/common.mli @@ -258,6 +258,8 @@ type score_result = Ok | Pb of string type score = (string (* usually a filename *), score_result) Hashtbl.t type score_list = (string (* usually a filename *) * score_result) list val empty_score : unit -> score +val load_score : string -> unit -> score +val save_score : score -> string -> unit val regression_testing : score -> filename (* old score file on disk (usually in /tmp) *) -> unit val regression_testing_vs: score -> score -> score