228
74%

Ran 04 Dec 2020 05:17PM CUT

Jobs 2

Files 4

Run time 3s

Badge

Build # 228

Build Type

push

travis-ci-com

Committed by

Commit Message

Merge pull request #60 from stanford-oval/dependabot/npm_and_yarn/highlight.js-10.4.1

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	228.1 (COVERALLS_PARALLEL=true)	04 Dec 2020 05:17PM CUT	0	74.7	Travis Job 228.1
2	228.2 (COVERALLS_PARALLEL=true)	04 Dec 2020 05:17PM CUT	0	74.7	Travis Job 228.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