DifferentialTestsUtils (infer.UnitTests.DifferentialTestsUtils)

val create_fake_jsonbug : 
  ?bug_type:string ->
  ?qualifier:string ->
  ?suggestion:string option ->
  ?severity:string ->
  ?category:string ->
  ?line:int ->
  ?column:int ->
  ?procedure:string ->
  ?procedure_start_line:int ->
  ?file:string ->
  ?bug_trace:ATDGenerated.Jsonbug_t.json_trace_item list ->
  ?key:string ->
  ?node_key:string option ->
  ?hash:string ->
  ?dotty:string option ->
  ?infer_source_loc:ATDGenerated.Jsonbug_t.loc option ->
  unit ->
  ATDGenerated.Jsonbug_t.jsonbug

val pp_diff_of_list : 
  pp:(IStdlib.Pp.F.formatter -> 'a -> unit) ->
  string ->
  Stdlib.Format.formatter ->
  ('b list * 'a list) ->
  unit

val pp_diff_of_string_list : 
  string ->
  Stdlib.Format.formatter ->
  (string list * string list) ->
  unit

val pp_diff_of_int_list : 
  string ->
  Stdlib.Format.formatter ->
  (int list * int list) ->
  unit

val sorted_hashes_of_issues : 
  ATDGenerated.Jsonbug_t.report ->
  IStdlib.IStd.String.t list