11
57%
master: 36%

Ran 27 Mar 2017 11:16PM CUT

Files 103

Run time 5s

Badge

Committed 27 Mar 2017 10:27PM CUT coverage: 57.183% (-0.3%) from 57.492%

Build Type

push

travis-ci

Committed by

Commit Message

No zlib in Windows static binary. Doesn't work.

Run Details

7388 of 12920 relevant lines covered (57.18%)

189655.78 hits per line

Show entries

Search:

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/propbyforgraph.h	151	33	0	33	0.0
0.0	src/features_calc.h	80	4	0	4	0.0
0.0	src/sqlstats.h	106 + 13	2 - 27	0 - 29	2 + 2	0.0 - 7486
0.0	src/simplefile.h	174	61	0	61	0.0
0.0	src/solvefeatures.h	121	1	0	1	0.0
0.0	src/streambuffer.h	191	55	0	55	0.0
0.0	src/clausedumper.h	91 + 23	6	0 - 6	6 + 6	0.0 - 14
0.0	src/clauseusagestats.h	74 + 26	2 - 2	0 - 4	2 + 2	0.0 - 3
0.0	src/completedetachreattacher.h	86 - 83	3 - 22	0 - 25	3 + 3	0.0 - 21
0.53	src/features_calc.cpp	356	187	1	186	75.0

Showing 1 to 10 of 103 entries