nimbly / Proof / 36 / 1

98%

master: 98%

Pull #1

travis-ci-com

<a href="https://github.com/nimbly/Proof/commit/<a class=hub.com/nimbly/Proof/commit/<a class="double-link" href="https://git"><a class=hub.com/nimbly/Proof/commit/<a class="double-link" href="https://git"><a class=hub.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d">fde03dd1a<a href="https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/nimbly/Proof/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/nimbly/Proof/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d&quot;&gt;fde03dd1a&lt;/a&gt;&lt;a href=&quot;https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c237&lt;/a&gt;65e9b62d">&quot;&gt;Merge &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/nimbly/Proof/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/nimbly/Proof/commit/<a class="double-link" href="https://github.com/nimbly/Proof/commit/7b5f844e6ade3cb33816d487d959728aa0407532">7b5f844e6</a><a href="https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b62d">&amp;quot;&amp;gt;7b5f844e6&amp;lt;/a&amp;gt;&amp;quot;&amp;gt;7b5f844e6&amp;lt;/a&amp;gt;&amp;lt;a href=&amp;quot;https://github.com/nimbly/Proof/commit/fde03dd1afd6f6d7b1628891d8b2c23765e9b&lt;/a&gt;62d&quot;&gt; into &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/nimbly/Proof/commit/<a class="double-link" href="https://github.com/nimbly/Proof/commit/ee0c6b2c4">ee0c6b2c4">ee0c6b2c4</a>

109 of 111 relevant lines covered (98.2%)

3.5 hits per line