• 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 lee30sonia/bsat2
branch: lee30sonia/bsat2
CHANGE BRANCH
x
Reset
Sync Branches
  • lee30sonia/bsat2
  • CI
  • coverage
  • cudd
  • hriener/bugfix
  • hriener/docs
  • hriener/min_core
  • lee30sonia/bsat2_buffer
  • lee30sonia/pushpop
  • master
  • msoeken/warnings
  • msoeken/windows
  • msoeken/z3

pending completion
133067703

Pull #35

github

GitHub
Merge 6b77201d9 into c75700601
Pull Request #35: Manually count variables and clauses in bsat2

19 of 25 new or added lines in 1 file covered. (76.0%)

1 existing line in 1 file now uncovered.

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 lee30sonia/bsat2
  • Tree
  • List 13
  • Changed 1
  • Source Changed 1
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
133067703 lee30sonia/bsat2 Merge 6b77201d9 into c75700601 Pull #35 12 Jun 2020 07:50AM UTC GitHub github pending completion  
133059858 lee30sonia/bsat2 Merge b68e1fd35 into c75700601 Pull #35 12 Jun 2020 07:38AM 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