1
89%
master: 85%

Ran 10 Mar 2020 07:23PM CUT

Files 15

Run time 5s

Badge

Committed 10 Mar 2020 07:23PM CUT coverage: 88.557%. First build

Build Type

push

circleci

Committed by chriseth

Commit Message

Version 0.6.4.

Run Details

272 of 338 branches covered (80.47%)

Branch coverage included in aggregate %.

974 of 1069 relevant lines covered (91.11%)

13.51 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
30.77	smtsolver.js	61	19	8	11	12.0
46.28	test/smtcallback.js	169	89	46	43	1.0
52.17	smtchecker.js	43	17	7	10	3.0
86.67	translate.js	201	86	79	7	49.0
90.91	test/index.js	14	9	9	0	1.0
92.53	wrapper.js	351	154	144	10	30.0
94.19	test/compiler.js	820	378	364	14	9.0
100.0	abi.js	64	26	26	0	6.0
100.0	test/cli.js	94	57	57	0	1.0
100.0	test/linker.js	170	81	81	0	1.0