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

Alan-Jowett / bdd_test / 19316611249
88%

Build:
DEFAULT BRANCH: main
Ran 13 Nov 2025 12:45AM UTC
Jobs 1
Files 15
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

13 Nov 2025 12:42AM UTC coverage: 85.155% (+6.1%) from 79.009%
19316611249

push

github

web-flow
feat: unify reference and expected output directories (#51)

* feat: unify reference and expected output directories

- **Unify Reference Outputs**: Merge cudd_reference_outputs and teddy_reference_outputs into single reference_output directory
  - All 13 common files were identical between methods
  - Preserved 4 TeDDy-only edge case files
  - Updated all CMake test registrations to use unified directory
  - Updated PowerShell scripts for reference file generation

- **Unify Expected Outputs**: Merge cudd_expected_output and teddy_expected_output into single expected_output directory
  - All 78 common files were identical between methods
  - Preserved 2 TeDDy-only test files
  - Updated all CMake test infrastructure paths
  - Updated Python integration test paths

- **Update Documentation**: Comprehensive documentation updates
  - Updated all README, CONTRIBUTING, and doc files
  - Updated image paths in LESSONS_LEARNED and VISUALIZATIONS
  - Updated Doxyfile example paths
  - Updated troubleshooting and setup instructions

- **Infrastructure Changes**:
  - Modified cmake/test_functions.cmake for unified directory support
  - Modified cmake/run_bdd_test.cmake for unified reference handling
  - Modified cmake/python_bdd_integration.cmake for new paths
  - Updated scripts/update-reference-files.ps1 to output to unified directories
  - Fixed mermaid test registration to only include files with references

- **Benefits Achieved**:
  - Eliminated 91 duplicate files (78 expected + 13 reference)
  - Simplified maintenance with single directories
  - Reduced project complexity while maintaining full functionality
  - All 30 mermaid tests still pass (100% success rate)
  - All basic functionality tests still pass

This change provides significant maintenance benefits by eliminating unnecessary
duplication while preserving complete functionality for both TeDDy and CUDD methods.

* fix: address cppcheck style warnings using STL algorithms

Replace raw loops wit... (continued)

1336 of 1662 branches covered (80.39%)

Branch coverage included in aggregate %.

56 of 57 new or added lines in 4 files covered. (98.25%)

1 existing line in 1 file now uncovered.

1251 of 1376 relevant lines covered (90.92%)

72595.44 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
83.09
0.69% include/cudd_iterator.hpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
79.35
-0.51% include/teddy_iterator.hpp
Jobs
ID Job ID Ran Files Coverage
1 19316611249.1 13 Nov 2025 12:45AM UTC 15
85.15
GitHub Action Run
Source Files on build 19316611249
  • Tree
  • List 15
  • Changed 8
  • Source Changed 7
  • Coverage Changed 6
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses
  • Back to Repo
  • Github Actions Build #19316611249
  • 5f97e1a8 on github
  • Prev Build on main (#19312751349)
  • Next Build on main (#19322793889)
  • Delete
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