11
57%
master: 36%

Ran 26 Mar 2017 10:49PM CUT

Files 103

Run time 4s

Badge

Committed 26 Mar 2017 10:16PM CUT coverage: 57.19% (-0.02%) from 57.206%

Build Type

push

travis-ci

Committed by

Commit Message

Using default values

Run Details

7389 of 12920 relevant lines covered (57.19%)

189654.94 hits per line

Show entries

Search:

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/clausedumper.h	91	6	0	6	0.0
0.0	src/completedetachreattacher.h	86 - 101	3 - 95	0 - 28	3 - 67	0.0 - 3
0.0	src/clauseusagestats.h	74	2	0	2	0.0
0.0	src/simplefile.h	174 + 121	61 + 31	0 - 5	61 + 36	0.0 - 1.0
0.0	src/propbyforgraph.h	151 + 139	33 + 28	0 - 5	33 + 33	0.0 - 1.0
0.0	src/streambuffer.h	191 + 152	55 + 34	0 - 12	55 + 46	0.0 - 25
0.0	src/sqlstats.h	106	2	0	2	0.0
0.0	src/features_calc.h	80 - 1440	4 - 747	0 - 440	4 - 307	0.0 - 197
0.0	src/solvefeatures.h	121	1	0	1	0.0
0.53	src/features_calc.cpp	356	187	1	186	75.0

Showing 1 to 10 of 103 entries