mirror of
https://github.com/Z3Prover/z3
synced 2026-06-08 12:59:34 +00:00
6926a4e2ca
- 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