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

martinjonas / Q3B
76%
master: 88%

Build:
Build:
LAST BUILD BRANCH: more-precise-abstract-ite
DEFAULT BRANCH: master
Repo Added 20 Mar 2018 08:14AM UTC
Files 577
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 dev-sylvan
branch: dev-sylvan
CHANGE BRANCH
x
Reset
  • dev-sylvan
  • antlr
  • dev
  • ictac2018
  • master
  • more-precise-abstract-ite
  • necessary-bits
  • smtcomp2018
  • smtcomp2019
  • v1.0

pending completion
145

push

travis-ci

Martin Jonáš
Remove one more forgotten CUDD reference.

2015 of 2665 relevant lines covered (75.61%)

21832.93 hits per line

Relevant lines Covered
Build:
Build:
2665 RELEVANT LINES 2015 COVERED LINES
21832.93 HITS PER LINE
Source Files on dev-sylvan
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
145 dev-sylvan Remove one more forgotten CUDD reference. push 16 Jul 2018 02:01PM UTC Martin Jonáš travis-ci pending completion  
See All Builds (157)
  • 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