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

manifold-lang / manifold-backend-digital / 23 / 1
76%
master: 76%

Build:
DEFAULT BRANCH: master
Ran 10 Mar 2015 12:29AM UTC
Files 16
Run time 7s
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

10 Mar 2015 12:27AM UTC coverage: 75.973% (-13.0%) from 89.002%
TERM=dumb

Pull #15

travis-ci

mtrberzi
use bufferedwriter
Pull Request #15: Generate SMT2 expressions for digital circuits

566 of 745 relevant lines covered (75.97%)

0.76 hits per line

Source Files on job 23.1 (TERM=dumb)
  • Tree
  • List 0
  • Changed 3
  • Source Changed 2
  • Coverage Changed 3
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 23
  • Travis Job 23.1
  • 598bed55 on github
  • Prev Job for TERM=dumb on master (#21.1)
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