msoos / cryptominisat / 847
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
847

push

travis-ci

msoos 
No more perf recording

7880 of 12914 relevant lines covered (61.02%)

1261979.41 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
72.73
 -4.55% cryptominisat4/subsumeimplicit.h
1
66.89
 1.29% cryptominisat4/searcher.cpp
1
80.49
 -0.49% cryptominisat4/cnf.cpp
2
73.08
 -7.69% cryptominisat4/implcache.h
2
73.32
 3.46% cryptominisat4/simplifier.cpp
2
70.15
 -1.0% cryptominisat4/reducedb.cpp
4
79.52
 11.6% cryptominisat4/subsumestrengthen.cpp
6
74.17
 -3.97% cryptominisat4/subsumeimplicit.cpp
9
46.13
 -3.03% cryptominisat4/implcache.cpp
10
77.64
 -1.68% cryptominisat4/propengine.cpp
Jobs
ID Job ID Ran Files Coverage
15 847.15 (CMS_CONFIG=COVERAGE) 90
61.02
 Travis Job 847.15
Source Files on build 847
Coverage ∆ File Lines Relevant Covered Missed Hits/Line