1
84%
master: 85%

Ran 16 Feb 2022 02:28PM CUT

Files 10

Run time 1s

Badge

Committed 16 Feb 2022 02:28PM CUT coverage: 83.59%. First build

Build Type

push

circleci

Committed by chriseth

Commit Message

Set version to 0.8.12.

Run Details

339 of 428 branches covered (79.21%)

Branch coverage included in aggregate %.

476 of 547 relevant lines covered (87.02%)

81.31 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
52.05	dist/smtsolver.js	86	35	19	16	405.0
73.91	dist/smtchecker.js	40	17	12	5	3.0
80.33	dist/solc.js	256	135	111	24	127.0
87.29	dist/wrapper.js	358	174	158	16	70.0
87.42	dist/translate.js	187	88	81	7	93.0
88.17	dist/abi.js	77	40	37	3	9.0
91.67	dist/index.js	8	5	5	0	22.0
98.53	dist/linker.js	87	49	49	0	70.0
100.0	.eslintrc.js	23	1	1	0	1.0
100.0	build/postbuild.js	5	3	3	0	1.0