13
36%
master: 36%

Ran 02 Apr 2018 05:09AM CUT

Files 97

Run time 3s

Badge

Committed 02 Apr 2018 04:56AM CUT coverage: 63.58% (-0.05%) from 63.627%

Build Type

push

travis-ci

Committed by

Commit Message

Merge branch 'buggy-fix'

Run Details

8364 of 13155 relevant lines covered (63.58%)

1169161.21 hits per line

Show entries

Search:

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/completedetachreattacher.h	86	3	0	3	0.0
0.0	src/sqlstats.h	118	2	0	2	0.0
0.0	src/clauseusagestats.h	74	1	0	1	0.0
0.0	src/propbyforgraph.h	151	33	0	33	0.0
0.0	src/streambuffer.h	191	54	0	54	0.0
1.01	src/completedetachreattacher.cpp	227	99	1	98	96.0
1.49	src/solvefeatures.cpp	117	67	1	66	96.0
2.39	src/bva.cpp	850	418	10	408	330.0
2.94	src/reducedb.cpp	304	136	4	132	291.0
5.0	src/bva.h	176	20	1	19	2120.0

Showing 1 to 10 of 97 entries