stanford-oval / node-smtlib / 186 / 1

75%

master: 74%

Pull #39

travis-ci-com

Merge f10ba68d3 into e59050307

19 of 28 branches covered (67.86%)

Branch coverage included in aggregate %.

105 of 138 relevant lines covered (76.09%)

3.46 hits per line