let pp_result fmt = function
  | Valid -> Format.pp_print_string fmt "Valid"
  | 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"