cuddorg / cudd / 19696016901

Build # 19696016901

Build Type

Pull #52

github

Committed by web-flow

Commit Message

Merge 742d4e0c4 into 89d4f1cfa

Pull Request Pull Request #52: Add test cases for cuddGenCof.c coverage

Run Details

8347 of 29604 relevant lines covered (28.2%)

28858.46 hits per line

Source File

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

Source Not Available