SRI-CSL / yices2 / 881

67%

master: 65%

push

travis-ci

<a href="https://github.com/SRI-CSL/yices2/commit/<a class=hub.com/SRI-CSL/yices2/commit/<a class="double-link" href="https://git"><a class=hub.com/SRI-CSL/yices2/commit/<a class="double-link" href="https://git"><a class=hub.com/SRI-CSL/yices2/commit/<a class="double-link" href="https://git"><a class=hub.com/SRI-CSL/yices2/commit/<a class="double-link" href="https://git"><a class=hub.com/SRI-CSL/yices2/commit/<a class="double-link" href="https://git"><a class=hub.com/SRI-CSL/yices2/commit/769eba7bf8237bda7e09b74a8771566b8bd68a49">769eba7bf">&lt;a href=&quot;https://github.com/SRI-CSL/yices2/commit/</a><a class="double-link" href="https://github.com/SRI-CSL/yices2/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/SRI-CSL/yices2/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/SRI-CSL/yices2/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/SRI-CSL/yices2/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/SRI-CSL/yices2/commit/769eba7bf8237bda7e09b74a8771566b8bd68a49">769eba7bf</a><a href="https://github.com/SRI-CSL/yices2/commit/769eba7bf8237bda7e09b74a8771566b8bd68a49">&lt;a href=&quot;https://github.com/SRI-CSL/yices2/commit/769eba7bf8237bda7e09b74a8771566b8bd68a49&quot;&gt;&amp;quot;&amp;gt;&amp;amp;lt;a href=&amp;amp;quot;https://github.com/SRI-CSL/yices2/commit/&amp;lt;/a&amp;gt;&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://github.com/SRI-CSL/yices2/commit/&amp;amp;lt;a class=&amp;amp;quot;double-link&amp;amp;quot; href=&amp;amp;quot;https://git&amp;quot;&amp;gt;&amp;amp;lt;a class=&amp;lt;/a&amp;gt;hub.com/SRI-CSL/yices2/commit/769eba7bf8237bda7e09b74a8771566b8bd68a49&amp;quot;&amp;gt;769eba7bf&amp;lt;/a&amp;gt;&amp;lt;a href=&amp;quot;https://github.com/SRI-CSL/yices2/commit/769eba7bf8237bda7e09b74a8771566b8bd68a49&amp;quot;&amp;gt;&amp;amp;lt;a href=&amp;amp;quot;https://github.com/SRI-CSL/yices2/commit/769eba7bf8237bda7e09b74a8771566b8bd68a49&amp;amp;quot;&amp;amp;gt;&amp;amp;amp;quot;&amp;amp;amp;gt;reverting t</a>o ol&lt;/a&gt;der version of that file (&amp;lt;/a&amp;gt;&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://github.com/SRI-CSL/yices2/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://github.com/SRI-CSL/yices2/commit/&lt;a class=&quot;double-lin... (continued)

66154 of 98546 relevant lines covered (67.13%)

1658082.56 hits per line