Alan-Jowett / bdd_test / 19340459166

88%

push

github

Add comprehensive unit tests with truth table validation for core BDD functionality (#54)

* Initial plan

* Add comprehensive unit tests for core expression functionality (Priority 1)

Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com>

* Add comprehensive unit tests for BDD libraries (Priority 2 - TeDDy and CUDD)

Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com>

* Add comprehensive unit tests for DAG walker utilities (Priority 3 partial)

Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com>

* Add comprehensive unit tests for expression iterator (Priority 4 partial)

Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com>

* Fix Windows compatibility: Use std::filesystem for cross-platform temp paths

Replace hardcoded Unix /tmp/ paths with std::filesystem::temp_directory_path()
to ensure tests work on Windows. This fixes test failures on Windows by using
the platform-appropriate temporary directory.

- Use std::filesystem::temp_directory_path() for temp file creation
- Update nonexistent file test to use cross-platform path
- Add <filesystem> include to test_expression_parser.cpp

Co-authored-by: Alan-Jowett <20480683+Alan-Jowett@users.noreply.github.com>

* Enhance graph generation tests to validate structure and format

Improve test coverage beyond simple success checks to thoroughly validate
output structure:

DOT Graph Tests:
- Validate proper digraph structure with opening/closing braces
- Verify terminal nodes (0 and 1) exist in BDD graphs
- Count and validate directed edges (->)
- Ensure variable names appear in correct context
- Check graph structure integrity (braces, edges, node definitions)

Mermaid Graph Tests:
- Validate flowchart TD declaration
- Verify node definitions with proper Mermaid syntax (brackets)
- Count edges (-->) to ensure correct connectivity
- Check for YAML front matter compatibility
- Validate multiple edges for binary ope... (continued)

1426 of 1775 branches covered (80.34%)

Branch coverage included in aggregate %.

1276 of 1389 relevant lines covered (91.86%)

71930.3 hits per line