• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

msoos / cryptominisat / 2168 / 23
36%
master: 36%

Build:
DEFAULT BRANCH: master
Ran 25 May 2018 02:31PM UTC
Files 167
Run time 468min
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

25 May 2018 02:01PM UTC coverage: 59.168% (+0.03%) from 59.141%
CMS_CONFIG=COVERAGE

push

travis-ci

msoos
Fixing random number generator. Pretty serious bug actually.

Related to #491

Thanks to @jvpeetz, Jörg for this

10633 of 17971 relevant lines covered (59.17%)

108147.38 hits per line

Source Files on job 2168.23 (CMS_CONFIG=COVERAGE)
  • Tree
  • List 0
  • Changed 76
  • Source Changed 3
  • Coverage Changed 75
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 1985
  • Travis Job 2168.23
  • 0fd8c5b2 on github
  • Prev Job for CMS_CONFIG=COVERAGE on master (#2167.23)
  • Next Job for CMS_CONFIG=COVERAGE on master (#2169.23)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc