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

cuddorg / cudd
4%
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 copilot/add-test-cases-cuddbddite
branch: copilot/add-test-cases-cuddbddite
CHANGE BRANCH
x
Reset
Sync Branches
  • copilot/add-test-cases-cuddbddite
  • 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-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
  • fix_badge
  • unify_memory_allocation
  • windows_cmake_build

21 Nov 2025 02:09PM UTC coverage: 3.952% (+3.4%) from 0.547%
19573058664

Pull #33

github

web-flow
Merge 9727f0920 into 061185dd3
Pull Request #33: Add comprehensive test coverage for cuddBddIte.c

1170 of 29604 relevant lines covered (3.95%)

3040.66 hits per line

Relevant lines Covered
Build:
Build:
29604 RELEVANT LINES 1170 COVERED LINES
3040.66 HITS PER LINE
Source Files on copilot/add-test-cases-cuddbddite
  • Tree
  • List 77
  • Changed 8
  • Source Changed 0
  • Coverage Changed 8
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
19573058664 copilot/add-test-cases-cuddbddite Merge 9727f0920 into 061185dd3 Pull #33 21 Nov 2025 02:54PM UTC web-flow github
3.95
19572971453 copilot/add-test-cases-cuddbddite Merge 92f4c2496 into 061185dd3 Pull #33 21 Nov 2025 02:09PM UTC web-flow github
3.95
19572861772 copilot/add-test-cases-cuddbddite Merge 835833b15 into 061185dd3 Pull #33 21 Nov 2025 02:04PM UTC web-flow github
3.95
19572469996 copilot/add-test-cases-cuddbddite Merge cd353a42e into 061185dd3 Pull #33 21 Nov 2025 01:48PM UTC web-flow github
0.55
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

© 2026 Coveralls, Inc