Add comprehensive tests for cuddZddSymm.c achieving 82% line coverage

[Copilot]

• Analyze current coverage of src/cuddZddSymm.c
• Create comprehensive test cases for cuddZddSymm.c
• All 12 functions now covered (100% function coverage)
• 562/689 lines covered (~82% line coverage)
• Fixed code review feedback (removed const_cast, use static counter)
• Run code review - addressed main concerns
• Run CodeQL security check - no issues found
• All 1449 tests pass
• Fixed heap-buffer-overflow in "Test different group structures" test by properly managing the result variable lifecycle

Coverage Summary

• Line coverage: 82% (562/689 lines)
• Function coverage: 100% (12/12 functions)

Sanitizer/Valgrind Fix

• Fixed heap-buffer-overflow in "cuddZddSymm - Test different group structures" test
• Issue: The test had a memory leak where result was never used or dereferenced, and the product variable caused internal table access issues
• Fix: Restructured test to properly use and update the result variable throughout the test lifecycle

Original prompt

Complete test cases for src/cuddZddSymm.c and target 90% coverage for the source file.

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

[doganulus]

@copilot Investigate failures in sanitizer and valgrind tests and implement your solutions.

[Copilot]

@copilot Investigate failures in sanitizer and valgrind tests and implement your solutions.

Fixed the heap-buffer-overflow in commit 508fcc7. The issue was in the "cuddZddSymm - Test different group structures" test which had a memory management problem where the result variable was never used or dereferenced, while the product variable caused internal table access issues during Cudd_zddProduct. The fix restructures the test to properly use and update the result variable throughout the test lifecycle. All 1449 tests now pass with both AddressSanitizer+UBSan and Valgrind memcheck.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• esm.ubuntu.com
  • Triggering command: /usr/lib/apt/methods/https /usr/lib/apt/methods/https (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)