msoos / cryptominisat / 846
36%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 90
Run time 8s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
846

push

travis-ci

msoos 
We need sudo for perf for multi-process

7444 of 12914 relevant lines covered (57.64%)

653913.0 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
77.27
 -4.55% cryptominisat4/subsumeimplicit.h
1
78.15
 -0.66% cryptominisat4/subsumeimplicit.cpp
1
97.69
 -0.58% cryptominisat4/clausecleaner.cpp
2
67.74
 -1.61% cryptominisat4/solvertypes.h
3
92.86
 -4.29% cryptominisat4/calcdefpolars.cpp
3
79.33
 0.0% cryptominisat4/propengine.cpp
4
77.32
 2.06% cryptominisat4/clause.h
5
0.0
 -100.0% cryptominisat4/completedetachreattacher.h
6
64.98
 -0.39% cryptominisat4/solver.cpp
7
0.0
 -100.0% cryptominisat4/alg.h
16
18.18
 -72.73% cryptominisat4/shareddata.h
21
65.6
 -1.36% cryptominisat4/searcher.cpp
33
67.92
 -11.26% cryptominisat4/subsumestrengthen.cpp
46
38.84
 -38.02% cryptominisat4/clauseallocator.cpp
47
67.47
 -8.13% cryptominisat4/varreplacer.cpp
48
69.86
 -3.54% cryptominisat4/simplifier.cpp
73
1.11
 -81.11% cryptominisat4/completedetachreattacher.cpp
133
20.67
 -74.3% cryptominisat4/datasync.cpp
Jobs
ID Job ID Ran Files Coverage
15 846.15 (CMS_CONFIG=COVERAGE) 90
57.64
 Travis Job 846.15
Source Files on build 846
Coverage ∆ File Lines Relevant Covered Missed Hits/Line