diff options
| author | vabridgers <58314289+vabridgers@users.noreply.github.com> | 2025-07-03 09:08:00 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-03 09:08:00 -0500 |
| commit | c71bbd50a10d733dc066db8f83638f9454c9705d (patch) | |
| tree | 14f4533c8006c96d788fcb6af7485d0773a49be6 /lldb/source/Plugins/OperatingSystem/Python/OperatingSystemPython.cpp | |
| parent | 4f047bc5955c942d987844ff835239943f83c0cc (diff) | |
[analyzer] Correct Z3 test cases, fix exposed crashes (#146597)
PR145731 corrected the analyzer test runner to consider use of z3 when
used by testcases, which exposed problems in test cases PR37855.c and
crashes in z3-crosscheck.c This change fixes those crashes and
re-enables the test cases that were "XFAIL"'d out.
Co-authored-by: einvbri <vince.a.bridgers@ericsson.com>
Diffstat (limited to 'lldb/source/Plugins/OperatingSystem/Python/OperatingSystemPython.cpp')
0 files changed, 0 insertions, 0 deletions