13
36%
master: 36%

Ran 06 Mar 2018 03:53PM CUT

Files 99

Run time 551min

Badge

Committed 06 Mar 2018 03:36PM CUT coverage: 63.95% (-0.06%) from 64.011%

Build Type

push

travis-ci

Committed by

Commit Message

Updating cnf-utils

Run Details

8348 of 13054 relevant lines covered (63.95%)

1188761.49 hits per line

Show entries

Search:

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/clauseusagestats.h	74 + 35	1 - 15	0 - 16	1 + 1	0.0 - 3
0.0	src/propbyforgraph.h	151 + 150	33 + 33	0	33 + 33	0.0
0.0	src/completedetachreattacher.h	86 + 70	3	0 - 3	3 + 3	0.0 - 1.0
0.0	src/sqlstats.h	118 + 68	2 - 22	0 - 24	2 + 2	0.0 - 1.0
0.0	src/streambuffer.h	191 - 366	54 - 311	0 - 365	54 + 54	0.0 - 1.0
1.01	src/completedetachreattacher.cpp	227 + 148	99 + 44	1 - 54	98 + 98	84.0 + 83
1.49	src/solvefeatures.cpp	117 + 101	67 + 57	1 - 9	66 + 66	84.0 + 83
2.39	src/bva.cpp	850 + 587	418 + 318	10 - 72	408 + 390	328.0 + 326
2.74	src/reducedb.cpp	323 + 165	146 + 55	4 - 78	142 + 133	288.0 + 237
5.0	src/bva.h	176 + 146	20 + 4	1 - 15	19 + 19	2120.0 + 2119

Showing 1 to 10 of 99 entries