Alan-Jowett / bdd_test / 19195368784

88%

push

github

Deterministic dot files (#6)

* Replace memory address-based node IDs with deterministic identifiers in DOT files

- Modified write_bdd_to_dot() function to use sequential node IDs (node0, node1, etc.)
  instead of memory addresses for reproducible DOT file output
- Updated all BDD DOT files in test_expressions/ subdirectories to use deterministic format
- Regenerated PNG visualizations from updated DOT files using Graphviz
- Ensures DOT files are now suitable for version control and consistent across runs

Fixes issue with non-deterministic DOT file generation that prevented reliable
version control and testing of BDD outputs.

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

* Enhance test suite to validate deterministic DOT files

- Added comprehensive validation for BDD DOT and expression tree DOT files
- Tests now verify generated DOT files match expected deterministic format
- Added regex validation to ensure DOT files use nodeN identifiers instead of memory addresses
- Enhanced error reporting for DOT file comparison failures
- All BDD tests now validate both content correctness and deterministic format

This ensures that the deterministic DOT file generation is properly tested
and prevents regression to memory address-based node identifiers.

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

* Add signed-off-by requirement to Copilot agent directive

- Added requirement to always use -s flag with git commit commands
- Ensures all commits include proper Signed-off-by line for compliance
- Updated Before Committing checklist with this mandatory step

This enforces the project's commit signing policy and helps maintain
proper contribution attribution and legal compliance.

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

* Update .github/copilot-instructions.md

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

* Fix code formatting and enhance Copilot directive with mandatory formatting requirements

- Fix... (continued)

476 of 543 branches covered (87.66%)

Branch coverage included in aggregate %.

13 of 13 new or added lines in 1 file covered. (100.0%)

372 of 392 relevant lines covered (94.9%)

51.0 hits per line