robsimmons / dusa / 6906830016

push

github

Major refactor: split the engine into the forward engine - which is much closer to the optimized tuple-at-a-time semi-naive Mcallester model - and the choice engine - which handles the trie of datalog results

291 of 344 branches covered (0.0%)

Branch coverage included in aggregate %.

279 of 336 new or added lines in 4 files covered. (83.04%)

941 of 1212 relevant lines covered (77.64%)

11270.53 hits per line