624
75%
master: 74%

Ran 01 Aug 2021 03:14PM CUT

Jobs 1

Files 4

Run time 1s

Badge

Build # 624

Build Type

travis-ci-com

Committed by

Commit Message

Merge ef3430a14 into 74e3831d2

Run Details

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

ID	Job ID	Ran	Files	Coverage
1	624.1 (COVERALLS_PARALLEL=true)	01 Aug 2021 03:14PM CUT	0	74.7	Travis Job 624.1

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