Ran
|
Files
0
|
Run time
0s
|
Badge
Embed ▾
README BADGES
|
travis-ci
<a href="https://github.com/SRI-CSL/yices2/commit/<a class=hub.com/SRI-CSL/yices2/commit/2833713251ded69090478cc90d0f3d4b54476ed1">283371325<a href="https://github.com/SRI-CSL/yices2/commit/2833713251ded69090478cc90d0f3d4b54476ed1">">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/e3d1482348ff43b735daa1b32b20dc5c7191f12b">e3d148234</a>">e3d148234</a><a href="https://github.com/SRI-CSL/yices2/commit/2833713251ded69090478cc90d0f3d4b54476ed1"> into b0c8adb93">b0c8adb93</a>
0 of 0 relevant lines covered (NaN%)
0.0 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|