- Add --merge-mode-functions=separate flag to all gcovr commands
- Resolves AssertionError with C++ template destructors on multiple lines
- Fixes coverage HTML and text report generation
- Coverage reports now generate successfully without merge conflicts
This adds the GitHub Action configuration needed to:
- Build Z3 with coverage instrumentation using clang/gcov
- Run comprehensive test suite including unit tests, regression tests, and examples
- Generate HTML coverage reports with detailed file-by-file analysis
- Upload coverage reports as artifacts for analysis
The configuration is based on the existing disabled coverage.yml workflow
and follows Z3's CMake build system with Ninja generator.
🤖 Generated with [Claude Code](https://claude.ai/code)
Co-Authored-By: Claude <noreply@anthropic.com>
