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	100.0	src/cnf.h
1	100.0	src/datasync.cpp
1	100.0	src/implcache.cpp
1	100.0	src/solvertypes.h
1	100.0	src/toplevelgaussabst.h
1	100.0	src/watchalgos.h
1	100.0	src/watcharray.h
2	100.0	src/clauseallocator.cpp
2	100.0	src/cleaningstats.h
2	100.0	src/distillerallwithall.cpp
2	100.0	src/solvefeatures.cpp
2	100.0	src/solver.h
3	100.0	src/intree.cpp
3	100.0	src/subsumeimplicit.cpp
4	100.0	src/solutionextender.cpp
6	100.0	src/avgcalc.h
6	100.0	src/cnf.cpp
6	100.0	src/features_calc.cpp
6	100.0	src/hyperengine.cpp
7	100.0	src/subsumestrengthen.cpp
7	100.0	src/varreplacer.cpp
8	100.0	src/compfinder.cpp
8	100.0	src/distillerlongwithimpl.cpp
9	100.0	src/reducedb.cpp
10	100.0	src/propengine.cpp
10	100.0	src/xor.h
13	100.0	src/clause.h
13	100.0	src/clausedumper.cpp
15	100.0	src/searchhist.h
18	100.0	src/gatefinder.cpp
19	100.0	src/drat.h
19	100.0	src/prober.cpp
23	100.0	src/completedetachreattacher.cpp
25	100.0	src/bva.cpp
30	100.0	src/clausecleaner.cpp
30	100.0	src/xorfinder.cpp
33	100.0	src/cryptominisat.cpp
35	100.0	src/str_impl_w_impl_stamp.cpp
51	100.0	src/searcher.cpp
55	100.0	src/occsimplifier.cpp
87	100.0	src/solver.cpp

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

Detailed source file information is not available for this build.