lsils / bill
95%
master: 95%

LAST BUILD BRANCH: bsat2_buffer
DEFAULT BRANCH: master
Repo Added
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 cudd
branch: cudd
CHANGE BRANCH
x
Sync Branches

239527439

Pull #39

github

GitHub 
Merge 2d2d728ba into a8c09a493
Pull Request #39: CUDD library & wrapper for its ZDD package

141 of 148 new or added lines in 1 file covered. (95.27%)

1017 of 1073 relevant lines covered (94.78%)

963.53 hits per line

Relevant lines Covered
1073 RELEVANT LINES 1017 COVERED LINES
963.53 HITS PER LINE
Source Files on cudd
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
239527439 cudd Merge 2d2d728ba into a8c09a493 Pull #39 GitHub github pending completion  
203942214 cudd Merge 70eb625ce into a8c09a493 Pull #39 GitHub github
94.78
203901657 cudd Merge 8033e2dfa into a8c09a493 Pull #39 GitHub github
94.78
203853840 cudd Merge f845cdc99 into a8c09a493 Pull #39 GitHub github
94.78
181448733 cudd Merge d3d88410a into a8c09a493 Pull #39 GitHub github
100.0
See All Builds (13)

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.
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