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

msoos / cryptominisat / 2265
36%

Build:
DEFAULT BRANCH: master
Ran 26 Aug 2018 07:11PM UTC
Jobs 2
Files 167
Run time 9min
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
2265

push

travis-ci

web-flow
Merge pull request #518 from mbargull/addClause-add_clause_int_tmp_cl

Solver::addClause: use add_clause_int_tmp_cl

10713 of 18242 relevant lines covered (58.73%)

188056.34 hits per line

Jobs
ID Job ID Ran Files Coverage
23 2265.23 (CMS_CONFIG=COVERAGE) 26 Aug 2018 07:11PM UTC 0
58.73
Travis Job 2265.23
30 2265.30 (CMS_CONFIG=COVERAGE) 26 Aug 2018 07:20PM UTC 0
58.75
Travis Job 2265.30
Source Files on build 2265
Detailed source file information is not available for this build.
  • Back to Repo
  • Travis Build #2265
  • 380421e3 on github
  • Prev Build on master (#2264)
  • Next Build on master (#2268)
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