Ran
|
Files
4
|
Run time
0s
|
Badge
README BADGES
|
travis-ci-com
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
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|---|---|---|---|---|---|---|---|---|
64.62 | lib/smtlib.ts | 129 | 56 | 38 | 18 | 4.0 | |||
76.47 | lib/base_solver.ts | 58 | 16 | 12 | 4 | 4.0 | |||
81.48 | lib/local_cvc4.ts | 99 | 63 | 52 | 11 | 4.0 | |||
100.0 | lib/index.ts | 11 | 3 | 3 | 0 | 2.0 |