cuddorg / cudd

71%

main: 80%

LAST BUILD ON BRANCH copilot/complete-test-cases-cuddexact

branch: copilot/complete-test-cases-cuddexact

CHANGE BRANCH

x

Reset

Sync Branches

• copilot/complete-test-cases-cuddexact
• 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-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-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

Build # 19934211389

Build Type

Pull #100

github

Committed by web-flow

Commit Message

Merge 008f01efa into 367b7c18d

Pull Request Pull Request #100: Add comprehensive tests for cuddExact.c achieving 92.6% coverage

Run Details

2 of 2 new or added lines in 1 file covered. (100.0%)

21035 of 29605 relevant lines covered (71.05%)

307624.59 hits per line