1253
57%
master: 36%

Ran 14 Mar 2016 09:04PM UTC

Jobs 1

Files 106

Run time 2min

Badge

Build # 1253

Build Type

push

travis-ci

Committed by

Commit Message

Merge branch 'master' into coverity_scan

Run Details

1525 of 1525 new or added lines in 51 files covered. (100.0%)

7450 of 14592 relevant lines covered (51.06%)

397.5 hits per line

Lines	Coverage	∆	File
1	55.13	5.13%	src/cnf.h
1	17.88	0.0%	src/datasync.cpp
1	56.95	13.18%	src/implcache.cpp
1	39.06	3.58%	src/solvertypes.h
1	42.86		src/toplevelgaussabst.h
1	69.62	30.38%	src/watchalgos.h
1	98.55	0.09%	src/watcharray.h
2	34.23	0.34%	src/clauseallocator.cpp
2	11.76	11.76%	src/cleaningstats.h
2	73.23		src/distillerallwithall.cpp
2	1.45	0.0%	src/solvefeatures.cpp
2	58.97	-4.44%	src/solver.h
3	85.78	16.18%	src/intree.cpp
3	76.67	6.27%	src/subsumeimplicit.cpp
4	90.24	-9.76%	src/solutionextender.cpp
6	53.85	39.56%	src/avgcalc.h
6	53.38	1.17%	src/cnf.cpp
6	0.52	0.01%	src/features_calc.cpp
6	76.96	51.14%	src/hyperengine.cpp
7	37.56	-0.09%	src/subsumestrengthen.cpp
7	70.57	16.37%	src/varreplacer.cpp
8	76.58	45.63%	src/compfinder.cpp
8	75.0		src/distillerlongwithimpl.cpp
9	2.44	-0.01%	src/reducedb.cpp
10	47.09	9.76%	src/propengine.cpp
10	70.59		src/xor.h
13	59.5	18.27%	src/clause.h
13	0.47	-0.03%	src/clausedumper.cpp
15	57.14		src/searchhist.h
18	0.19	0.0%	src/gatefinder.cpp
19	23.38		src/drat.h
19	70.66	13.67%	src/prober.cpp
23	0.94	-0.17%	src/completedetachreattacher.cpp
25	10.5	-0.37%	src/bva.cpp
30	78.6	-1.7%	src/clausecleaner.cpp
30	77.22		src/xorfinder.cpp
33	63.61	-0.29%	src/cryptominisat.cpp
35	75.35		src/str_impl_w_impl_stamp.cpp
51	40.73	19.26%	src/searcher.cpp
55	56.43	1.92%	src/occsimplifier.cpp
87	51.72	0.11%	src/solver.cpp

ID	Job ID	Ran	Files	Coverage
15	1253.15 (CMS_CONFIG=COVERAGE)	14 Mar 2016 09:04PM UTC	106	51.06	Travis Job 1253.15

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line