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

cuddorg / cudd
33%
main: 80%

Build:
Build:
LAST BUILD BRANCH: 4.0.0
DEFAULT BRANCH: main
Repo Added 07 Nov 2025 10:34AM UTC
Token Ktgy5nbx6vAlHGyJlCSCrEnByovICDKf4 regen
Build 251 Last
Files 78
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 fix_badge
branch: fix_badge
CHANGE BRANCH
x
Reset
Sync Branches
  • fix_badge
  • 4.0.0
  • 4.0.0-scan-build
  • ci-workflow
  • ci_cd_enhancements
  • copilot/add-cuddgencof-test-cases
  • copilot/add-cuddzddlin-test-cases
  • copilot/add-test-cases-cuddaddfind
  • copilot/add-test-cases-cuddaddwalsh
  • copilot/add-test-cases-cuddbddite
  • copilot/add-test-cases-cuddcompose
  • copilot/add-test-cases-cudddecomp
  • copilot/add-test-cases-cuddgroup
  • copilot/add-test-cases-cuddgroup-again
  • copilot/add-test-cases-cuddharwell
  • copilot/add-test-cases-cuddinteract
  • copilot/add-test-cases-cuddlcache
  • copilot/add-test-cases-cuddmatmult
  • copilot/add-test-cases-cuddpriority
  • copilot/add-test-cases-cuddref
  • copilot/add-test-cases-cuddsat
  • copilot/add-test-cases-cuddsolve
  • copilot/add-test-cases-cuddtable-again
  • copilot/add-test-cases-cuddzddcount
  • copilot/add-test-cases-cuddzddisop
  • copilot/add-test-cases-cuddzddmisc
  • copilot/add-test-cases-cuddzddutil
  • copilot/add-test-cases-for-clip
  • copilot/add-test-cases-for-coverage
  • copilot/add-test-cases-for-cstringstream
  • copilot/add-test-cases-for-cuddaddapply
  • copilot/add-test-cases-for-cuddaddinv
  • copilot/add-test-cases-for-cuddaddneg
  • copilot/add-test-cases-for-cuddanneal
  • copilot/add-test-cases-for-cuddapa
  • copilot/add-test-cases-for-cuddbddabs
  • copilot/add-test-cases-for-cuddbridge
  • copilot/add-test-cases-for-cuddcache
  • copilot/add-test-cases-for-cuddcheck-again
  • copilot/add-test-cases-for-cuddcofc
  • copilot/add-test-cases-for-cudddecomp
  • copilot/add-test-cases-for-cuddessent
  • copilot/add-test-cases-for-cuddgencof
  • copilot/add-test-cases-for-cuddgenetic
  • copilot/add-test-cases-for-cuddinit
  • copilot/add-test-cases-for-cuddlevelq
  • copilot/add-test-cases-for-cuddread
  • copilot/add-test-cases-for-cuddsign
  • copilot/add-test-cases-for-cuddsplit
  • copilot/add-test-cases-for-cuddsubsethb
  • copilot/add-test-cases-for-cuddsubsetsp
  • copilot/add-test-cases-for-cuddtable
  • copilot/add-test-cases-for-cuddutil
  • copilot/add-test-cases-for-cuddwindow
  • copilot/add-test-cases-for-cuddzddfuncs
  • copilot/add-test-cases-for-cuddzddgroup
  • copilot/add-test-cases-for-cuddzddport
  • copilot/add-test-cases-for-cuddzddreord
  • copilot/add-test-cases-for-cuddzddsetop
  • copilot/add-test-cases-for-cuddzddsymm
  • copilot/add-test-cases-for-mtrgroup
  • copilot/add-test-cases-mtrbasic
  • copilot/add-test-cases-src-cuddtable
  • copilot/add-test-cases-src-epd
  • copilot/add-tests-for-cuddapi
  • copilot/complete-test-cases-cudd-export
  • copilot/complete-test-cases-cuddandabs
  • copilot/complete-test-cases-cuddexact
  • copilot/complete-test-cases-cuddlinear
  • copilot/complete-test-cases-cuddobj
  • copilot/complete-test-cases-cuddreorder
  • copilot/complete-test-cases-cuddtable
  • copilot/complete-test-cases-for-cuddzddfuncs
  • copilot/complete-test-cases-src-cuddaddite
  • copilot/complete-test-cases-src-cuddbddcorr
  • copilot/complete-test-cases-src-cuddliteral
  • copilot/complete-test-cases-src-cuddsymmetry
  • copilot/complete-test-cases-src-st
  • copilot/extend-test-cases-for-src-files
  • copilot/increase-code-coverage-90
  • copilot/increase-code-coverage-cudddecomp
  • unify_memory_allocation
  • windows_cmake_build

07 Nov 2025 02:06PM UTC coverage: 32.992%. Remained the same
19170785291

Pull #26

github

web-flow
Merge e1d41118e into 10520186f
Pull Request #26: Fix code coverage badge to point to cuddorg/cudd instead of my personal one

9789 of 29671 relevant lines covered (32.99%)

318282.54 hits per line

Relevant lines Covered
Build:
Build:
29671 RELEVANT LINES 9789 COVERED LINES
318282.54 HITS PER LINE
Source Files on fix_badge
  • Tree
  • List 77
  • 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
19170785291 fix_badge Merge e1d41118e into 10520186f Pull #26 07 Nov 2025 02:08PM UTC web-flow github
32.99
See All Builds (231)
  • 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