1
85%
master: 85%

Ran 19 Dec 2018 02:52PM CUT

Files 6

Run time 1s

Badge

Committed 19 Dec 2018 02:52PM CUT coverage: 57.883% (+0.5%) from 57.411%

Job # 402.1

Build Type

push

circleci

Committed by GitHub

Commit Message

Merge pull request #325 from ethereum/split-smt-solver

Run Details

82 of 159 branches covered (51.57%)

Branch coverage included in aggregate %.

186 of 304 relevant lines covered (61.18%)

7.0 hits per line

Show entries

Search:

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
39.44	translate.js	196 + 164	92 + 77	36 + 22	56 + 55	29.0 + 27
46.07	wrapper.js	260 + 201	124 + 98	67 + 47	57 + 51	7.0 + 6
68.42	smtchecker.js	31 - 3	13 - 6	8 - 11	5 + 5	1.0 - 1.0
100.0	abi.js	64 - 15	27 - 13	27 - 6	0 - 7	6.0 + 4
100.0	index.js	4 - 40	2 - 21	2 - 16	0 - 5	1.0
100.0	linker.js	95 + 19	46 + 45	46 + 45	0	8.0 + 7

Showing 1 to 6 of 6 entries