<div dir="ltr">You can get a list of verbosity options using `git grep reportS src/`. When debugging constraint solving I typically run `-v tc:80` and pipe the output to a file. The output contains balanced curly braces which lets you skip over uninteresting parts.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Aug 25, 2017 at 3:49 AM, Martin Stone Davis <span dir="ltr"><<a href="mailto:martin.stone.davis@gmail.com" target="_blank">martin.stone.davis@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  

    
  
  <div text="#000000" bgcolor="#FFFFFF">
    <p>Is there a list of verbosity options? E.g. "treeless.opt.aspat",
      "tc.size.solve", etc. Preferably with some sort of description? <br>
    </p>
    <p>If not, what verbosity options would be useful in analyzing
      Agda's approach to constraint solving and instance resolution?
      I.e., the sort of thing that might be useful in creating small
      test cases for issues like <a href="https://github.com/agda/agda/issues/2713" target="_blank">#2713</a> or <a href="https://github.com/agda/agda/issues/2709" target="_blank">#2709</a>. <br>
    </p>
  </div>

<br>______________________________<wbr>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
<br></blockquote></div><br></div>