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

pending completion
122676067

Pull #34

github

GitHub
Merge de42f8f8f into 954eda9cc
Pull Request #34: push/pop & set_random_phase

9 of 14 new or added lines in 1 file covered. (64.29%)

862 of 909 relevant lines covered (94.83%)

1128.92 hits per line

Relevant lines Covered
Build:
Build:
909 RELEVANT LINES 862 COVERED LINES
1128.92 HITS PER LINE
Source Files on lee30sonia/pushpop
  • Tree
  • List 13
  • Changed 2
  • Source Changed 1
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
122676067 lee30sonia/pushpop Merge de42f8f8f into 954eda9cc Pull #34 02 Jun 2020 03:04PM UTC GitHub github pending completion  
122662094 lee30sonia/pushpop Merge 209bc69aa into 954eda9cc Pull #34 02 Jun 2020 02:50PM UTC GitHub github pending completion  
122650012 lee30sonia/pushpop Merge 157f8513f into 954eda9cc Pull #34 02 Jun 2020 02:35PM 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