oc"><p>Read <code>report_json</code> and produce a textual output in <code>report_txt</code>. If <code>not quiet</code> then display at most <code>console_limit</code> issues on stdout. If <code>console_limit</code> is <code>None</code> then display all the issues.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-pp_jsonbug" class="anchored"><a href="#val-pp_jsonbug" class="anchor"></a><code><span><span class="keyword">val</span> pp_jsonbug : <span><span class="xref-unresolved">F</span>