Ran
|
Files
469
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
travis-ci
<a href="https://github.com/SRI-CSL/yices2/commit/<a class=hub.com/SRI-CSL/yices2/commit/f2a671d37f11f6b0f9b85d5f05f923ff41949664">f2a671d37<a href="https://github.com/SRI-CSL/yices2/commit/f2a671d37f11f6b0f9b85d5f05f923ff41949664">">Merge </a><a class="double-link" href="https://github.com/SRI-CSL/yices2/commit/<a class="double-link" href="https://github.com/SRI-CSL/yices2/commit/99e26b94984990734bc1056f55c39360b8691335">99e26b949</a>">99e26b949</a><a href="https://github.com/SRI-CSL/yices2/commit/f2a671d37f11f6b0f9b85d5f05f923ff41949664"> into a300df74a">a300df74a</a>
74672 of 114625 relevant lines covered (65.14%)
1428993.13 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|