1340
36%

Ran 10 Apr 2016 01:30AM CUT

Jobs 1

Files 103

Run time 4s

Badge

Build # 1340

Build Type

push

travis-ci

Committed by

Commit Message

Working on on-the-fly clause minimization

Run Details

7330 of 14300 relevant lines covered (51.26%)

390.43 hits per line

ID	Job ID	Ran	Files	Coverage
15	1340.15 (CMS_CONFIG=COVERAGE)	10 Apr 2016 01:30AM CUT	103	51.26	Travis Job 1340.15

Show entries

Search:

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/propbyforgraph.h	163	39	0	39	0.0
0.0	src/gatefinder.h	318	30	0	30	0.0
0.0	src/features_calc.h	79	4	0	4	0.0
0.0	src/completedetachreattacher.h	91	5	0	5	0.0
0.0	src/clausedumper.h	96	6	0	6	0.0
0.0	src/streambuffer.h	176	51	0	51	0.0
0.0	src/solvefeatures.h	122	1	0	1	0.0
0.0	src/simplefile.h	168	58	0	58	0.0
0.0	src/sqlstats.h	105	2	0	2	0.0
0.0	src/clauseusagestats.h	74	2	0	2	0.0
0.19	src/gatefinder.cpp	1122	526	1	525	507.0

Showing 1 to 10 of 103 entries