<div dir="ltr"><div>Hi,<br><br></div><div>Last week I continued my work in test suite [1], increasing the code coverage, my PR is not merged because I am having some problems with findbugs installation in travis. I started to look around Infer Static Analyzer [2] and how to add it as a new plugin. Infer is not packaged, but exists a ITP bug [3], I discuss with the owner of the bug and have some OCaml dependencies that aren't packaged too. So, I requested to join Debian OCaml team to support me in this work (I am waiting for answer).<br><br></div><div>This week I intend to fix travis issue and merge my PR and finish the packaging of Infer and your dependencies. If I have time I will start to develop the Infer's plugin.<br><br>[1] <a href="https://github.com/opencollab/debile/pull/32">https://github.com/opencollab/debile/pull/32</a><br>[2] <a href="http://fbinfer.com/">http://fbinfer.com/</a><br>[3] <a href="https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789059">https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789059</a><br><br></div><div>Cheers,<br clear="all"></div><div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr">Lucas Kanashiro</div></div></div></div>
</div></div>