|
Repo Added
|
Files
7
|
Badge
README BADGES
|
github
<a href="https://github.com/srepollock/divine-engine/commit/<a class=hub.com/srepollock/divine-engine/commit/<a class="double-link" href="https://git"><a class=hub.com/srepollock/divine-engine/commit/<a class="double-link" href="https://git"><a class=hub.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394">faa0a44a8<a href="https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394">">&lt;a href=&quot;https://github.com/srepollock/divine-engine/commit/</a><a class="double-link" href="https://github.com/srepollock/divine-engine/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394">faa0a44a8</a><a href="https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394">&lt;a href=&quot;https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8</a>ead1d394">">Merge </a><a class="double-link" href="https://github.com/srepollock/divine-engine/commit/<a class="double-link" href="https://github.com/srepollock/divine-engine/commit/<a class="double-link" href="https://github.com/srepollock/divine-engine/commit/764b023428cd6cfc321edc7e9520fa9fa626028c">764b02342</a><a href="https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d394">&quot;&gt;764b02342&lt;/a&gt;&quot;&gt;764b02342&lt;/a&gt;&lt;a href=&quot;https://github.com/srepollock/divine-engine/commit/faa0a44a89a854a564d83a86f3b1a0e8ead1d</a>394"> into </a><a class="double-link" href="https://github.com/srepollock/divine-engine/commit/<a class="double-link" href="https://github.com/srepollock/divine-engine/commit/2ef5fbc2d">2ef5fbc2d">2ef5fbc2d</a>
34 of 34 branches covered (100.0%)
Branch coverage included in aggregate %.
5 of 5 new or added lines in 2 files covered. (100.0%)
234 of 234 relevant lines covered (100.0%)
9.58 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|