diff options
| author | Gabor Marton <gabor.marton@ericsson.com> | 2021-10-22 10:12:38 +0200 |
|---|---|---|
| committer | Gabor Marton <gabor.marton@ericsson.com> | 2021-10-27 17:14:34 +0200 |
| commit | a8297ed994301dbf34f259690e9f5fa8fce96ea2 (patch) | |
| tree | c2d2f33639e7f867bcb515e26893a50ad07522c3 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | 5d9318638e892143c7788191ca1d89445582880b (diff) | |
[Analyzer][solver] Handle adjustments in constraint assignor remainder
We can reuse the "adjustment" handling logic in the higher level
of the solver by calling `State->assume`.
Differential Revision: https://reviews.llvm.org/D112296
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions