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.
Details
Details
Diff Detail
Diff Detail
- Repository
- rC Clang
Differential D50768
[analyzer] Delete SMTContext. NFC. mikhail.ramalho on Aug 15 2018, 5:09 AM. Authored by
Details 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.
Diff Detail
|