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

msoos / cryptominisat
53%
master: 36%

Build:
Build:
LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Repo Added 12 Jun 2015 11:40PM UTC
Files 588
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

LAST BUILD ON BRANCH 5.0.1
branch: 5.0.1
CHANGE BRANCH
x
Reset
  • 5.0.1
  • 4.5.3
  • 5.0
  • 5.0.0
  • 5.0.2
  • HEAD
  • appveyor_debug
  • aws_better
  • axelparser
  • clauseID
  • coverity_scan
  • cryptominisat-5.0.0
  • feature_moresimp
  • implicit_tri
  • kuldeep_new
  • macosxbuild
  • marijn
  • master
  • multilevel_maple
  • satrace15
  • satrace15-mt
  • scalmc
  • scalmc-simpsat2
  • switching_glue_geom

pending completion
1498

push

travis-ci

msoos
Bump version in CMakeLists

7721 of 14591 relevant lines covered (52.92%)

161382.82 hits per line

Relevant lines Covered
Build:
Build:
14591 RELEVANT LINES 7721 COVERED LINES
161382.82 HITS PER LINE
Source Files on 5.0.1
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1498 5.0.1 Bump version in CMakeLists push 10 Sep 2016 02:37PM UTC msoos travis-ci pending completion  
1496 5.0.1 Only scalmc has LGPL license now push 10 Sep 2016 01:48PM UTC msoos travis-ci pending completion  
See All Builds (969)
  • Repo on GitHub
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