diff options
| author | Balázs Benics <108414871+balazs-benics-sonarsource@users.noreply.github.com> | 2025-03-28 11:26:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-28 11:26:28 +0100 |
| commit | 319045d8c42dc855eacdb4bd1d71b6ac3fca3257 (patch) | |
| tree | 30065f23d5211799e941409200df481130619bef /clang/lib/Frontend/TestModuleFileExtension.cpp | |
| parent | f7a034d400860501a26e3429e1c6a9f310f07f76 (diff) | |
| download | llvm-319045d8c42dc855eacdb4bd1d71b6ac3fca3257.zip llvm-319045d8c42dc855eacdb4bd1d71b6ac3fca3257.tar.gz llvm-319045d8c42dc855eacdb4bd1d71b6ac3fca3257.tar.bz2 | |
[analyzer] Add metrics tracking time spent in Z3 solver (#133236)
These metrics would turn out to be useful for verifying an upgrade of Z3.
Diffstat (limited to 'clang/lib/Frontend/TestModuleFileExtension.cpp')
0 files changed, 0 insertions, 0 deletions