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

msoos / cryptominisat
51%
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 appveyor_debug
branch: appveyor_debug
CHANGE BRANCH
x
Reset
  • appveyor_debug
  • 4.5.3
  • 5.0
  • 5.0.0
  • 5.0.1
  • 5.0.2
  • HEAD
  • 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
1401

push

travis-ci

msoos
Trying to fix appveyor

7476 of 14519 relevant lines covered (51.49%)

404.09 hits per line

Relevant lines Covered
Build:
Build:
14519 RELEVANT LINES 7476 COVERED LINES
404.09 HITS PER LINE
Source Files on appveyor_debug
  • List 0
  • Changed 52
  • Source Changed 1
  • Coverage Changed 51
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1401 appveyor_debug Trying to fix appveyor push 05 Jun 2016 11:59PM UTC msoos travis-ci pending completion  
1400 appveyor_debug Don't add -fPIC to WIN32 push 05 Jun 2016 11:34PM UTC msoos travis-ci pending completion  
1399 appveyor_debug Visual C++ dies on this (internal compiler error). Let's tweak it. push 05 Jun 2016 11:08PM UTC msoos travis-ci pending completion  
1398 appveyor_debug Fixing another renumber-vs-heap-property issue push 05 Jun 2016 10:43PM UTC msoos travis-ci pending completion  
1397 appveyor_debug Fixing bug shown by SLOW_DEBUG in tests push 05 Jun 2016 09:51PM UTC msoos travis-ci pending completion  
1396 appveyor_debug Build Release on appveyor and build with static linkage push 05 Jun 2016 07:56PM UTC msoos travis-ci pending completion  
1395 appveyor_debug Fixing linker flags for Win32 push 05 Jun 2016 07:31PM UTC msoos travis-ci pending completion  
1394 appveyor_debug Don't force RDP connection after build push 05 Jun 2016 07:06PM UTC msoos travis-ci pending completion  
1387 appveyor_debug Let's try building without putting it into build\ in appveyor push 05 Jun 2016 04:17PM UTC msoos travis-ci pending completion  
1386 appveyor_debug Building appveyor into build\ push 05 Jun 2016 03:53PM 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