stanford-oval / genie-toolkit / 389

59%

master: 56%

Pull #83

travis-ci-com

Clean up projection

With or without flag projection, we should not generate conflict examples.
So we either generate the program with projection in it, or generate nothing at all.

1477 of 2778 branches covered (53.17%)

Branch coverage included in aggregate %.

8 of 8 new or added lines in 1 file covered. (100.0%)

3683 of 6016 relevant lines covered (61.22%)

237757.56 hits per line