13
36%
master: 36%

Ran 05 Mar 2018 01:08PM CUT

Files 99

Run time 4s

Badge

Committed 05 Mar 2018 12:18PM CUT coverage: 63.989% (-0.05%) from 64.043%

Build Type

push

travis-ci

Committed by

Commit Message

Run with Python2 and 3

Run Details

8348 of 13046 relevant lines covered (63.99%)

1197392.03 hits per line

Show entries

Search:

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
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/completedetachreattacher.h	86	3	0	3	0.0
0.0	src/sqlstats.h	118	2	0	2	0.0
0.0	src/streambuffer.h	191	54	0	54	0.0
1.01	src/completedetachreattacher.cpp	227	99	1	98	84.0
1.49	src/solvefeatures.cpp	117	67	1	66	84.0
2.39	src/bva.cpp	850	418	10	408	328.0
2.76	src/reducedb.cpp	321	145	4	141	288.0
5.0	src/bva.h	176	20	1	19	2120.0

Showing 1 to 10 of 99 entries