Repo Added
|
Files
1
|
Badge
Embed ▾
README BADGES
|
travis-ci-com
<a href="https://github.com/stanford-oval/node-cvc4/commit/<a class=hub.com/stanford-oval/node-cvc4/commit/<a class="double-link" href="https://git"><a class=hub.com/stanford-oval/node-cvc4/commit/<a class="double-link" href="https://git"><a class=hub.com/stanford-oval/node-cvc4/commit/e8cc0def57d545e198b2dde530bf324d043afd92">e8cc0def5<a href="https://github.com/stanford-oval/node-cvc4/commit/e8cc0def57d545e198b2dde530bf324d043afd92">">&lt;a href=&quot;https://github.com/stanford-oval/node-cvc4/commit/</a><a class="double-link" href="https://github.com/stanford-oval/node-cvc4/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/stanford-oval/node-cvc4/commit/e8cc0def57d545e198b2dde530bf324d043afd92">e8cc0def5</a><a href="https://github.com/stanford-oval/node-cvc4/commit/e8cc0def57d545e198b2dde530bf324d043afd92">&lt;a href=&quot;https://github.com/stanford-oval/node-cvc4/commit/e8cc0def57d545e198b2dde530bf324d</a>043afd92">">Merge </a><a class="double-link" href="https://github.com/stanford-oval/node-cvc4/commit/<a class="double-link" href="https://github.com/stanford-oval/node-cvc4/commit/<a class="double-link" href="https://github.com/stanford-oval/node-cvc4/commit/149e4259b7f87730f9a4a277a3f484cac4aa9a7a">149e4259b</a><a href="https://github.com/stanford-oval/node-cvc4/commit/e8cc0def57d545e198b2dde530bf324d043afd92">&quot;&gt;149e4259b&lt;/a&gt;&quot;&gt;149e4259b&lt;/a&gt;&lt;a href=&quot;https://github.com/stanford-oval/node-cvc4/commit/e8cc0def57d545e198b2dde530bf324d043af</a>d92"> into </a><a class="double-link" href="https://github.com/stanford-oval/node-cvc4/commit/<a class="double-link" href="https://github.com/stanford-oval/node-cvc4/commit/3efa5955d">3efa5955d">3efa5955d</a>
12 of 16 branches covered (75.0%)
Branch coverage included in aggregate %.
38 of 47 relevant lines covered (80.85%)
5.47 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|