1410
52%
master: 36%

Ran 11 Jun 2016 07:05PM UTC

Jobs 1

Files 104

Run time 6s

Badge

Build # 1410

Build Type

push

travis-ci

Committed by

Commit Message

Removing CUSP

Run Details

7474 of 14522 relevant lines covered (51.47%)

404.98 hits per line

Lines	Coverage	File
1	100.0	src/boundedqueue.h
2	100.0	src/mystack.h
2	100.0	src/clausecleaner.cpp
2	100.0	src/Vec.h
3	100.0	src/time_mem.h
3	100.0	src/heap.h
4	100.0	src/subsumeimplicit.cpp
4	100.0	src/intree.h
5	100.0	src/compfinder.cpp
5	100.0	src/str_impl_w_impl_stamp.cpp
6	100.0	src/distillerlongwithimpl.cpp
6	100.0	src/varreplacer.h
6	100.0	src/searchhist.h
6	100.0	src/distillerallwithall.cpp
7	100.0	src/propengine.h
8	100.0	src/solverconf.h
8	100.0	src/hyperengine.cpp
8	100.0	src/cnf.cpp
9	100.0	src/intree.cpp
12	100.0	src/solver.h
16	100.0	src/searcher.h
21	100.0	src/simplefile.h
22	100.0	src/features_calc.cpp
26	100.0	src/streambuffer.h
26	100.0	src/solutionextender.cpp
26	100.0	src/cnf.h
29	100.0	src/features_to_reconf.cpp
31	100.0	src/clause.h
42	100.0	src/reducedb.cpp
44	100.0	src/searchstats.cpp
69	100.0	src/comphandler.cpp
103	100.0	src/propengine.cpp
113	100.0	src/cryptominisat.cpp
120	100.0	src/varreplacer.cpp
141	100.0	src/bva.cpp
367	100.0	src/occsimplifier.cpp
528	100.0	src/solver.cpp
652	100.0	src/searcher.cpp

ID	Job ID	Ran	Files	Coverage
15	1410.15 (CMS_CONFIG=COVERAGE)	11 Jun 2016 07:05PM UTC	0	51.47	Travis Job 1410.15

Detailed source file information is not available for this build.