https://github.com/NagyDonat approved this pull request.
LGTM.
I'm a bit surprised to see that you're excluding the retries from this
measurement (I feel that measuring the total time would be a more "natural"
statistic), but if you're interested in this information, then there is no
reason t
llvmbot wrote:
@llvm/pr-subscribers-clang-static-analyzer-1
Author: Balázs Benics (balazs-benics-sonarsource)
Changes
These metrics would turn out to be useful for verifying an upgrade of Z3.
---
Full diff: https://github.com/llvm/llvm-project/pull/133236.diff
2 Files Affected:
- (modi
https://github.com/balazs-benics-sonarsource created
https://github.com/llvm/llvm-project/pull/133236
These metrics would turn out to be useful for verifying an upgrade of Z3.
From 5fe04bcbb3eaf5682037ada6ab64fd7e021f787e Mon Sep 17 00:00:00 2001
From: Balazs Benics
Date: Thu, 27 Mar 2025 12:1
