mpyw / EasyCrypt / 970668838

90%

master: 98%

Pull #4

github

<a href="https://github.com/mpyw/EasyCrypt/commit/<a class=hub.com/mpyw/EasyCrypt/commit/<a class="double-link" href="https://git"><a class=hub.com/mpyw/EasyCrypt/commit/<a class="double-link" href="https://git"><a class=hub.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b">163c0ab34<a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/mpyw/EasyCrypt/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/mpyw/EasyCrypt/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/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b&quot;&gt;163c0ab34&lt;/a&gt;&lt;a href=&quot;https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbce&lt;/a&gt;ad4a376b">&quot;&gt;Merge &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/mpyw/EasyCrypt/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/mpyw/EasyCrypt/commit/<a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/5b90367eb55bd3acc78e1cad4059ab732553f7a7">5b90367eb</a><a href="https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a376b">&amp;quot;&amp;gt;5b90367eb&amp;lt;/a&amp;gt;&amp;quot;&amp;gt;5b90367eb&amp;lt;/a&amp;gt;&amp;lt;a href=&amp;quot;https://github.com/mpyw/EasyCrypt/commit/163c0ab347ff3da5c61fa28b5287bbcead4a3&lt;/a&gt;76b&quot;&gt; into &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/mpyw/EasyCrypt/commit/<a class="double-link" href="https://github.com/mpyw/EasyCrypt/commit/48148c6bb">48148c6bb">48148c6bb</a>

37 of 41 relevant lines covered (90.24%)

2.88 hits per line