Balazs Benics 8fc9c03cde [analyzer] Revert Z3 changes (#95916) ...

Requested in:
https://github.com/llvm/llvm-project/pull/95128#issuecomment-2176008007

Revert "[analyzer] Harden safeguards for Z3 query times"
Revert "[analyzer][NFC] Reorganize Z3 report refutation"

This reverts commit eacc3b3504.
This reverts commit 89c26f6c7b.

2024-06-18 14:59:28 +02:00

31 KiB

Raw Blame History

View Raw