325
74%

Ran 20 Jan 2021 01:55PM CUT

Jobs 2

Files 4

Run time 1min

Badge

Build # 325

Build Type

push

travis-ci-com

Committed by

Commit Message

Merge pull request #99 from stanford-oval/dependabot/npm_and_yarn/types/node-14.14.22

Run Details

19 of 28 branches covered (67.86%)

Branch coverage included in aggregate %.

105 of 138 relevant lines covered (76.09%)

6.93 hits per line

ID	Job ID	Ran	Files	Coverage
1	325.1 (COVERALLS_PARALLEL=true)	20 Jan 2021 01:55PM CUT	0	74.7	Travis Job 325.1
2	325.2 (COVERALLS_PARALLEL=true)	20 Jan 2021 01:56PM CUT	0	74.7	Travis Job 325.2

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line	Branch Hits	Branch Misses
64.62	lib/smtlib.ts	129	56	38	18	8.0	4	5
76.47	lib/base_solver.ts	58	16	12	4	8.0	1	0
81.48	lib/local_cvc4.ts	99	63	52	11	9.0	14	4
100.0	lib/index.ts	11	3	3	0	4.0	0	0