Alan-Jowett / bdd_test

80%

main: 88%

LAST BUILD ON BRANCH feature/fix-cudd-reference-output-format

branch: feature/fix-cudd-reference-output-format

CHANGE BRANCH

x

Reset

Sync Branches

• feature/fix-cudd-reference-output-format
• add-sanitizer-support
• cleanup_unused_options
• copilot/add-unit-tests-for-src-include
• copilot/fix-cudd-bdd-output-issues
• copilot/fix-cudd-mermaid-generation
• dependabot/github_actions/actions/checkout-5
• dependabot/github_actions/actions/upload-artifact-5
• deterministic-dot-files
• expand-reordered-test-coverage
• feature/cpp20-modernization
• feature/documentation-index
• feature/expression-view-tests
• feature/precommit-formatting-checks
• feature/robust-expression-parser
• feature/unify-reference-directories
• feature/update-documentation
• fix-pr-review-feedback
• fix/cppcheck-cleanup
• fix/skip-queens-force-reorder-tests
• fix/teddy-memory-leak-patch-system
• fix_format_script
• generate_reordered
• graph_cleanup
• improve-code-coverage
• improve_tests
• main
• more_coverage
• more_dag_graph_cleanup
• nodeid-allocator-refactor
• pin_by_commit_id
• python-bdd-implementation
• refactor/anonymous-namespaces
• refactor/modernize-codebase
• refactor_and_cleanup
• refactor_graphing
• refactor_parsing
• refactor_tests
• refactoring
• remove_preorder
• reordering_option
• reorganize-patches-squashed
• reorganize_directory_structure
• tests/add-many-tests
• update-nqueens-documentation

Build # 19313625453

Build Type

Pull #48

github

Committed by web-flow

Commit Message

Merge f3ffaa779 into aae38afa6

Pull Request Pull Request #48: Fix CUDD reference output format to match TeDDy

Run Details

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