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

msoos / cryptominisat
57%
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.2
branch: 5.0.2
CHANGE BRANCH
x
Reset
  • 5.0.2
  • 4.5.3
  • 5.0
  • 5.0.0
  • 5.0.1
  • 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
1901

push

travis-ci

msoos
Force AppVeyor to create a zip

7425 of 13022 relevant lines covered (57.02%)

152797.07 hits per line

Relevant lines Covered
Build:
Build:
13022 RELEVANT LINES 7425 COVERED LINES
152797.07 HITS PER LINE
Source Files on 5.0.2
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1901 5.0.2 Force AppVeyor to create a zip push 16 Dec 2017 01:59PM 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