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

msoos / cryptominisat / 1726
36%

Build:
DEFAULT BRANCH: master
Ran 13 Aug 2017 08:58PM UTC
Jobs 2
Files 99
Run time 1246119min
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

pending completion
1726

Pull #2199

travis-ci

msoos
A bit of cleanup around python + no python interface in case of COVERAGE
Pull Request #2199:

7646 of 12959 relevant lines covered (59.0%)

833694.58 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
100.0
src/solverconf.h
13
100.0
src/simplefile.h
82
100.0
src/cryptominisat.cpp
Jobs
ID Job ID Ran Files Coverage
9 1726.9 (CMS_CONFIG=NOPYTHON) 06 Dec 2019 06:03PM UTC 0
72.8
Travis Job 1726.9
14 1726.14 (CMS_CONFIG=COVERAGE) 13 Aug 2017 08:58PM UTC 0
59.0
Travis Job 1726.14
Source Files on build 1726
Detailed source file information is not available for this build.
  • Back to Repo
  • Travis Build #1726
  • Pull Request #2199
  • Prev Build on master (#1699)
  • Next Build on master (#1727)
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