Ran
|
Files
4
|
Run time
1s
|
Badge
README BADGES
|
push
travis-ci-com
19 of 28 branches covered (67.86%)
Branch coverage included in aggregate %.
83 of 116 relevant lines covered (71.55%)
4.02 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|---|---|---|---|---|---|---|---|---|
46.51 | lib/smtlib.js | 126 | 34 | 16 | 18 | 8.0 | |||
76.47 | lib/base_solver.js | 55 | 16 | 12 | 4 | 4.0 | |||
81.48 | lib/local_cvc4.js | 100 | 63 | 52 | 11 | 5.0 | |||
100.0 | index.js | 12 | 3 | 3 | 0 | 1.0 |