SRI-CSL / yices2
67%
master: 66%

LAST BUILD BRANCH: mcsat-target-best
DEFAULT BRANCH: master
Repo Added
Files 486
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH mcsat-bv-smtcomp-2019
branch: mcsat-bv-smtcomp-2019
CHANGE BRANCH
x

881

push

travis-ci

disteph 
<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

Relevant lines Covered
98546 RELEVANT LINES 66154 COVERED LINES
1658082.56 HITS PER LINE
Source Files on mcsat-bv-smtcomp-2019

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
881 mcsat-bv-smtcomp-2019 <a href="https://github.com/SRI-CSL/yices2/commit/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;doubl... push disteph travis-ci pending completion  
See All Builds (1604)