1
57%
master: 85%

Ran 12 Dec 2018 10:03PM CUT

Files 6

Run time 0s

Badge

Committed 12 Dec 2018 10:03PM CUT coverage: 57.203% (-0.2%) from 57.432%

Job # 305.1

Build Type

circleci

Committed by Alex Beregszaszi

Commit Message

Add SMTChecker smoke tests

Run Details

81 of 161 branches covered (50.31%)

Branch coverage included in aggregate %.

193 of 318 relevant lines covered (60.69%)

6.7 hits per line

Show entries

Search:

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
39.44	translate.js	196 + 191	92 + 87	36 + 31	56 + 56	29.0 + 28
46.07	wrapper.js	260 + 260	124 + 124	67 + 67	57 + 57	7.0 + 7
54.29	smtchecker.js	66	27	15	12	1.0
100.0	abi.js	64 + 19	27 + 3	27 + 9	0 - 6	6.0 + 5
100.0	index.js	4 - 154	2 - 57	2 - 49	0 - 8	1.0
100.0	linker.js	95 - 438	46 - 298	46 - 277	0 - 21	8.0 + 7

Showing 1 to 6 of 6 entries