846
36%

Ran 24 Jun 2015 12:58AM UTC

Jobs 1

Files 90

Run time 8s

Badge

Build # 846

Build Type

push

travis-ci

Committed by

Commit Message

We need sudo for perf for multi-process

Run Details

7444 of 12914 relevant lines covered (57.64%)

653913.0 hits per line

Lines	Coverage	File
1	100.0	cryptominisat4/subsumeimplicit.h
1	100.0	cryptominisat4/subsumeimplicit.cpp
1	100.0	cryptominisat4/clausecleaner.cpp
2	100.0	cryptominisat4/solvertypes.h
3	100.0	cryptominisat4/calcdefpolars.cpp
3	100.0	cryptominisat4/propengine.cpp
4	100.0	cryptominisat4/clause.h
5	100.0	cryptominisat4/completedetachreattacher.h
6	100.0	cryptominisat4/solver.cpp
7	100.0	cryptominisat4/alg.h
16	100.0	cryptominisat4/shareddata.h
21	100.0	cryptominisat4/searcher.cpp
33	100.0	cryptominisat4/subsumestrengthen.cpp
46	100.0	cryptominisat4/clauseallocator.cpp
47	100.0	cryptominisat4/varreplacer.cpp
48	100.0	cryptominisat4/simplifier.cpp
73	100.0	cryptominisat4/completedetachreattacher.cpp
133	100.0	cryptominisat4/datasync.cpp

ID	Job ID	Ran	Files	Coverage
15	846.15 (CMS_CONFIG=COVERAGE)	24 Jun 2015 12:58AM UTC	0	57.64	Travis Job 846.15

Detailed source file information is not available for this build.