cuddorg / cudd

60%

main: 80%

LAST BUILD ON BRANCH copilot/add-test-cases-cuddsat

branch: copilot/add-test-cases-cuddsat

CHANGE BRANCH

x

Reset

Sync Branches

• copilot/add-test-cases-cuddsat
• 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-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 # 19781944684

Build Type

Pull #76

github

Committed by web-flow

Commit Message

Merge 129d9da35 into 17203fdb4

Pull Request Pull Request #76: Add comprehensive test cases for cuddSat.c achieving 87.5% coverage

Run Details

17615 of 29605 relevant lines covered (59.5%)

115124.96 hits per line