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

fkutzner / JamSAT
96%
master: 96%

Build:
Build:
LAST BUILD BRANCH: current
DEFAULT BRANCH: master
Repo Added 04 Jul 2017 06:11PM UTC
Files 58
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 exp_ecoprop
branch: exp_ecoprop
CHANGE BRANCH
x
Reset
  • exp_ecoprop
  • boost_link_fix
  • current
  • exp_heap
  • exp_opt_wsort
  • exp_optimized_redundancycheck
  • exp_simplebuild
  • ft_ci_cxx14
  • ft_constness
  • ft_minisat
  • ft_shared
  • ft_win32
  • master
  • rel-0.1.0
  • rel-0.1.x-bugfixes
  • rel-0.2.0
  • rel-0.2.x-bugfixes

pending completion
296

push

travis-ci

fkutzner
avoid iterating over too many assigned literals during propagation

2557 of 2672 relevant lines covered (95.7%)

322405.3 hits per line

Relevant lines Covered
Build:
Build:
2672 RELEVANT LINES 2557 COVERED LINES
322405.3 HITS PER LINE
Source Files on exp_ecoprop
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
296 exp_ecoprop avoid iterating over too many assigned literals during propagation push 24 Mar 2019 11:27AM UTC fkutzner travis-ci pending completion  
See All Builds (233)
  • 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