• 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
  • List 0
  • Changed 17
  • Source Changed 1
  • Coverage Changed 16
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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

© 2025 Coveralls, Inc