diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-08-23 13:20:18 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-08-23 13:20:18 +0000 |
| commit | 2420ee9b91511c8abf9ae232a0b2beddd9e569fb (patch) | |
| tree | 1f714f6c925c67e663d7cef5fa706ced1be42b54 /lldb/packages/Python/lldbsuite/test/api/multiple-debuggers/TestMultipleDebuggers.py | |
| parent | b4a7546c5cb83b09a139855061d95ee223877816 (diff) | |
| download | bcm5719-llvm-2420ee9b91511c8abf9ae232a0b2beddd9e569fb.tar.gz bcm5719-llvm-2420ee9b91511c8abf9ae232a0b2beddd9e569fb.zip | |
[analyzer] Delete SMTContext. NFC.
Summary: There is no reason to have a base class for a context anymore as each SMT object carries a reference to the specific solver context.
Reviewers: NoQ, george.karpenkov, hiraditya
Reviewed By: hiraditya
Subscribers: hiraditya, xazax.hun, szepet, a.sidorin, Szelethus
Differential Revision: https://reviews.llvm.org/D50768
llvm-svn: 340532
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/api/multiple-debuggers/TestMultipleDebuggers.py')
0 files changed, 0 insertions, 0 deletions
