cuddorg / cudd / 19695118651

Build # 19695118651

Build Type

Pull #50

github

Committed by web-flow

Commit Message

Merge 27ae422f5 into 89d4f1cfa

Pull Request Pull Request #50: [WIP] Add test cases for src/cuddPriority.c to achieve 80% coverage

Run Details

9172 of 29604 relevant lines covered (30.98%)

32961.03 hits per line

Source File

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

Source Not Available