• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Alan-Jowett / bdd_test / 19313625453

12 Nov 2025 10:17PM UTC coverage: 80.185% (+1.2%) from 79.009%
19313625453

Pull #48

github

web-flow
Merge f3ffaa779 into aae38afa6
Pull Request #48: Fix CUDD reference output format to match TeDDy

1274 of 1690 branches covered (75.38%)

Branch coverage included in aggregate %.

0 of 48 new or added lines in 2 files covered. (0.0%)

2 existing lines in 2 files now uncovered.

1150 of 1333 relevant lines covered (86.27%)

74808.67 hits per line

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

15.84
/src/cudd_graph.cpp


Source Not Available

STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc