cuddorg / cudd / 19572469996
4%
main: 80%

LAST BUILD BRANCH: 4.0.0
DEFAULT BRANCH: main
Ran
Jobs 1
Files 77
Run time 1min
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
coverage: 0.547%. Remained the same
19572469996

Pull #33

github

web-flow 
Merge cd353a42e into 061185dd3
Pull Request #33: [WIP] Add test cases for src/cuddBddIte.c to achieve 100% coverage

162 of 29604 relevant lines covered (0.55%)

15.45 hits per line

Jobs
ID Job ID Ran Files Coverage
1 19572469996.1 77
0.55
 GitHub Action Run
Source Files on build 19572469996