Module `Integration.IssuesTest`

val write_from_json : json_path:string -> out_path:string -> IBase.IssuesTestField.t list -> unit
val pp_trace : Stdlib.Format.formatter -> ATDGenerated.Jsonbug_t.json_trace_item list -> string -> unit