Ran
|
Files
8
|
Run time
0s
|
Badge
Embed ▾
README BADGES
|
travis-ci
<a href="https://github.com/HazyResearch/ddlog/commit/<a class=hub.com/HazyResearch/ddlog/commit/73eda079940676766f9a003810236039f9501291">73eda0799<a href="https://github.com/HazyResearch/ddlog/commit/73eda079940676766f9a003810236039f9501291">">Use both var table Q and internal table dd_variable_Q This reverts commit </a><a class="double-link" href="https://github.com/HazyResearch/ddlog/commit/<a class="double-link" href="https://github.com/HazyResearch/ddlog/commit/94e201365de4f93a1d0a0a2386da6b09ae4781c3">94e201365</a>">94e201365</a><a href="https://github.com/HazyResearch/ddlog/commit/73eda079940676766f9a003810236039f9501291">.
742 of 797 relevant lines covered (93.1%)
0.93 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|