mirror of
https://github.com/AdaCore/z3.git
synced 2026-02-12 12:40:40 -08:00
- 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