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

lsils / bill
95%
master: 95%

Build:
Build:
LAST BUILD BRANCH: bsat2_buffer
DEFAULT BRANCH: master
Repo Added 12 Apr 2020 08:41AM UTC
Token MoGzZ9xQ3ufzAXVyYPxsuJlWPBEJ8Cr6Q regen
Build 59 Last
Files 13
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 hriener/bugfix
branch: hriener/bugfix
CHANGE BRANCH
x
Reset
Sync Branches
  • hriener/bugfix
  • CI
  • coverage
  • cudd
  • hriener/docs
  • hriener/min_core
  • lee30sonia/bsat2
  • lee30sonia/bsat2_buffer
  • lee30sonia/pushpop
  • master
  • msoeken/warnings
  • msoeken/windows
  • msoeken/z3

pending completion
133411796

Pull #36

github

GitHub
Merge 9c89f4011 into f3b3bde44
Pull Request #36: Conflicting macros between GHack and CUDD

874 of 923 relevant lines covered (94.69%)

1112.26 hits per line

Relevant lines Covered
Build:
Build:
923 RELEVANT LINES 874 COVERED LINES
1112.26 HITS PER LINE
Source Files on hriener/bugfix
  • Tree
  • List 13
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
133411796 hriener/bugfix Merge 9c89f4011 into f3b3bde44 Pull #36 12 Jun 2020 02:20PM UTC GitHub github pending completion  
See All Builds (17)

Badge your Repo: bill

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

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

Refresh
  • Settings
  • 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