let pp_result fmt = function
| Valid -> Format.pp_print_string fmt WpAnnot.valid_txt
| Invalid -> Format.pp_print_string fmt "Invalid"
| Unknown -> Format.pp_print_string fmt "Unknown"
| Timeout -> Format.pp_print_string fmt "Timeout"
| Computing -> Format.pp_print_string fmt "Computing"
| Failed msg ->
if Wp_parameters.debug_atleast 1
then Format.fprintf fmt "Failed@\nError: %s" msg
else Format.fprintf fmt "Failed"