mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-07 16:31:55 +00:00
Code Activity
z3/.github/actions
History
Exact
Daily Test Coverage Improver 6926a4e2ca Fix coverage report generation with merge-mode-functions=separate 
- 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
2025-09-16 16:03:11 +00:00
..
daily-perf-improver/build-steps Daily Perf Improver: Add build steps configuration 2025-09-15 14:05:21 +00:00
daily-test-improver/coverage-steps Fix coverage report generation with merge-mode-functions=separate 2025-09-16 16:03:11 +00:00