cuddorg / cudd / 19727350831

Build # 19727350831

Build Type

Pull #58

github

Committed by web-flow

Commit Message

Merge 0823efe0a into 343d2031a

Pull Request Pull Request #58: Add comprehensive tests for cuddZddUtil.c achieving 90% coverage

Run Details

13796 of 29604 relevant lines covered (46.6%)

58845.72 hits per line

Source File

Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available