1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
type compare_result =
| Correct
| Pb of string
| PbOnlyInNotParsedCorrectly of string
(* the string list is the output of diff *)
val compare_default : (* compare to a res file *)
Common.filename -> Common.filename -> compare_result * string list
val compare_to_original : (* compare to the source of the transformation *)
Common.filename -> Common.filename -> compare_result * string list
val exact_compare : (* compare to a res file using diff (check spacing) *)
Common.filename -> Common.filename -> compare_result * string list
val compare_result_to_string : compare_result * string list -> string
val compare_result_to_bool : compare_result -> bool
|
