diff options
| author | Balazs Benics <benicsbalazs@gmail.com> | 2024-07-01 16:03:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-01 16:03:18 +0200 |
| commit | b3b0d09ccee52472691570072ac0e30f1addbb0a (patch) | |
| tree | 838c66b1c2681bc506fc332b47581fea1a6ee4e8 /lldb/test/API/functionalities/plugins/python_os_plugin/TestPythonOSPlugin.py | |
| parent | b58ae6bd2708a5c3757fe7ec722b6a87b98fd81a (diff) | |
Reland "[analyzer][NFC] Reorganize Z3 report refutation" (#97265)
This is exactly as originally landed in #95128,
but now the minimal Z3 version was increased to meet this change in #96682.
https://discourse.llvm.org/t/bump-minimal-z3-requirements-from-4-7-1-to-4-8-9/79664/4
---
This change keeps existing behavior, namely that if we hit a Z3 timeout
we will accept the report as "satisfiable".
This prepares for the commit "Harden safeguards for Z3 query times".
https://discourse.llvm.org/t/analyzer-rfc-taming-z3-query-times/79520
(cherry picked from commit 89c26f6c7b0a6dfa257ec090fcf5b6e6e0c89aab)
Diffstat (limited to 'lldb/test/API/functionalities/plugins/python_os_plugin/TestPythonOSPlugin.py')
0 files changed, 0 insertions, 0 deletions