cuddorg / cudd

80%

main: 80%

LAST BUILD ON BRANCH 4.0.0

branch: 4.0.0

CHANGE BRANCH

x

Reset

Sync Branches

• 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
• fix_badge
• unify_memory_allocation
• windows_cmake_build

Build # 20169737342

Build Type

Pull #28

github

Committed by web-flow

Commit Message

Merge d1857bfc5 into f54f53330

Pull Request Pull Request #28: CUDD Release 4.0

Run Details

23818 of 29608 relevant lines covered (80.44%)

371871.72 hits per line