diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-08-23 13:21:00 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-08-23 13:21:00 +0000 |
| commit | b0670d349c91aff312cf32a4c68ddc23d8031197 (patch) | |
| tree | e4f372f484374fbdf03e26175bfdc432d2b57efe /lldb/packages/Python/lldbsuite/test/functionalities/command_source/TestCommandSource.py | |
| parent | 2420ee9b91511c8abf9ae232a0b2beddd9e569fb (diff) | |
| download | bcm5719-llvm-b0670d349c91aff312cf32a4c68ddc23d8031197.tar.gz bcm5719-llvm-b0670d349c91aff312cf32a4c68ddc23d8031197.zip | |
[analyzer] Templatefy SMTConstraintManager so more generic code can be moved from solver specific implementations. NFC.
Summary:
By making SMTConstraintManager a template and passing the SMT constraint type and expr, we can further move code from the Z3ConstraintManager class to the generic SMT constraint Manager.
Now, each SMT specific constraint manager only needs to implement the method `bool canReasonAbout(SVal X) const`.
Reviewers: NoQ, george.karpenkov
Reviewed By: george.karpenkov
Subscribers: mgorny, xazax.hun, szepet, a.sidorin, Szelethus
Differential Revision: https://reviews.llvm.org/D50770
llvm-svn: 340533
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/functionalities/command_source/TestCommandSource.py')
0 files changed, 0 insertions, 0 deletions
