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

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

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

09 Mar 2015 12:37AM UTC coverage: 74.868% (-14.1%) from 89.002%
TERM=dumb

Pull #15

travis-ci

mtrberzi
smt2 code generation tests: OR
Pull Request #15: Generate SMT2 expressions for digital circuits

569 of 760 relevant lines covered (74.87%)

0.75 hits per line

Source Files on job 22.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 22
  • Travis Job 22.1
  • 96ae1c6b 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