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

lsils / bill
95%

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

18 Sep 2020 08:36AM UTC coverage: 94.714%. Remained the same
260796734

push

github

GitHub
gcc@9

878 of 927 relevant lines covered (94.71%)

1107.99 hits per line

Relevant lines Covered
Build:
Build:
927 RELEVANT LINES 878 COVERED LINES
1107.99 HITS PER LINE
Source Files on master
  • 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
260796734 master gcc@9 push 18 Sep 2020 08:36AM UTC GitHub github
94.71
239527439 cudd Merge 2d2d728ba into a8c09a493 Pull #39 04 Sep 2020 01:55PM UTC GitHub github
94.78
203942214 cudd Merge 70eb625ce into a8c09a493 Pull #39 11 Aug 2020 11:34AM UTC GitHub github
94.78
203901657 cudd Merge 8033e2dfa into a8c09a493 Pull #39 11 Aug 2020 10:59AM UTC GitHub github
94.78
203853840 cudd Merge f845cdc99 into a8c09a493 Pull #39 11 Aug 2020 10:13AM UTC GitHub github
94.78
181448733 cudd Merge d3d88410a into a8c09a493 Pull #39 24 Jul 2020 05:09PM UTC GitHub github
94.7
159186841 master Assertions for the literals buffer array in bsat2 (#38) push 06 Jul 2020 10:35AM UTC GitHub github pending completion  
148469136 master Merge pull request #37 from lsils/fix_defines push 26 Jun 2020 08:58AM UTC GitHub github pending completion  
133411796 hriener/bugfix Merge 9c89f4011 into f3b3bde44 Pull #36 12 Jun 2020 02:20PM UTC GitHub github pending completion  
133067703 lee30sonia/bsat2 Merge 6b77201d9 into c75700601 Pull #35 12 Jun 2020 07:50AM 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