Alan-Jowett / bdd_test / 19308219625

push

github

Major reorganization: Add CUDD integration and restructure BDD testing infrastructure (#42)

* Major reorganization: Add CUDD integration and restructure BDD testing infrastructure

This comprehensive update reorganizes the project to support multiple BDD libraries
(TeDDy and CUDD) with proper separation of concerns and comprehensive testing.

Key Changes:
- Add CUDD library integration with proper CMake configuration
- Reorganize patch management: separate TeDDy and CUDD patches into subdirectories
- Restructure test baseline organization:
  * Rename default_ordering/ → teddy_expected_output/ for clarity
  * Create cudd_expected_output/ with complete CUDD baseline files
  * Rename reference_outputs/ → teddy_reference_outputs/ for consistency
  * Create cudd_reference_outputs/ for CUDD Mermaid analysis files
- Enhance CMake testing infrastructure:
  * Add library-specific test registration and execution
  * Support conditional testing based on available BDD libraries
  * Implement proper edge case handling for both libraries
- Add comprehensive unit testing framework with CTest integration
- Create unified graph iterator interface with concept-based design
- Add Mermaid diagram generation and analysis capabilities
- Implement proper separation between TeDDy and CUDD implementations
- Add comprehensive documentation and examples

Testing Results:
- 94 total tests passing across all configurations
- Full regression coverage for both TeDDy and CUDD libraries
- Comprehensive Mermaid analysis validation
- Edge case testing with proper baseline comparisons

This reorganization provides a robust, scalable foundation for multi-library
BDD comparison and analysis with clear separation of concerns.

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* Fix coverage workflow for reorganized project structure

- Add git dependency for proper repository operations
- Add error handling for test execution to prevent workflow failure
- Exclude unit test files and... (continued)

1256 of 1700 branches covered (73.88%)

Branch coverage included in aggregate %.

548 of 691 new or added lines in 12 files covered. (79.31%)

1146 of 1362 relevant lines covered (84.14%)

71895.29 hits per line