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

msoos / cryptominisat
45%
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 4.5.3
branch: 4.5.3
CHANGE BRANCH
x
Reset
  • 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
  • macosxbuild
  • marijn
  • master
  • multilevel_maple
  • satrace15
  • satrace15-mt
  • scalmc
  • scalmc-simpsat2
  • switching_glue_geom

pending completion
940

push

travis-ci

msoos
Don't fuzz the INTREE_BUILD build, it's not for fuzzing

It's to make sure things build & test & install

5854 of 13137 relevant lines covered (44.56%)

1822.99 hits per line

Relevant lines Covered
Build:
Build:
13137 RELEVANT LINES 5854 COVERED LINES
1822.99 HITS PER LINE
Source Files on 4.5.3
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
940 4.5.3 Don't fuzz the INTREE_BUILD build, it's not for fuzzing It's to make sure things build & test & install push 27 Aug 2015 01:10AM 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