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">.
19 of 19 new or added lines in 1 file covered. (100.0%)
742 of 797 relevant lines covered (93.1%)
0.93 hits per line