184
75%
master: 74%

Ran 27 Oct 2020 01:25PM CUT

Jobs 2

Files 4

Run time 8s

Badge

Build # 184

Build Type

travis-ci-com

Committed by

Commit Message

Merge 85cd28198 into e59050307

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	184.1 (COVERALLS_PARALLEL=true)	27 Oct 2020 01:25PM CUT	4	74.7	Travis Job 184.1
2	184.2 (COVERALLS_PARALLEL=true)	27 Oct 2020 01:25PM CUT	4	74.7	Travis Job 184.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