robsimmons / dusa / 6906830016

95%

Build Type

push

github

Committed by robsimmons

Commit Message

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

Run Details

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%)

39 existing lines in 1 file now uncovered.

941 of 1212 relevant lines covered (77.64%)

11270.53 hits per line