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

msoos / cryptominisat
59%
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 macosxbuild
branch: macosxbuild
CHANGE BRANCH
x
Reset
  • macosxbuild
  • 4.5.3
  • 5.0
  • 5.0.0
  • 5.0.1
  • 5.0.2
  • HEAD
  • appveyor_debug
  • aws_better
  • axelparser
  • clauseID
  • coverity_scan
  • cryptominisat-5.0.0
  • feature_moresimp
  • implicit_tri
  • kuldeep_new
  • marijn
  • master
  • multilevel_maple
  • satrace15
  • satrace15-mt
  • scalmc
  • scalmc-simpsat2
  • switching_glue_geom

pending completion
1765

push

travis-ci

msoos
Change back directory

7641 of 12959 relevant lines covered (58.96%)

829055.92 hits per line

Relevant lines Covered
Build:
Build:
12959 RELEVANT LINES 7641 COVERED LINES
829055.92 HITS PER LINE
Source Files on macosxbuild
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1765 macosxbuild Change back directory push 20 Aug 2017 01:03AM UTC msoos travis-ci pending completion  
1764 macosxbuild Fixing pycryptosat location push 20 Aug 2017 12:15AM UTC msoos travis-ci pending completion  
1763 macosxbuild ldconfig needs to be run as root push 19 Aug 2017 11:03PM 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