Page MenuHomePhabricator

[analyzer] Delete SMTContext. NFC.

Authored by mikhail.ramalho on Aug 15 2018, 5:09 AM.



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

rC Clang

Event Timeline

mikhail.ramalho retitled this revision from [analyzer] Delete SMTContext to [analyzer] Delete SMTContext. NFC..Aug 15 2018, 5:29 AM
hiraditya accepted this revision.Aug 15 2018, 10:33 AM
hiraditya added a subscriber: hiraditya.

Good catch!

This revision is now accepted and ready to land.Aug 15 2018, 10:33 AM
This revision was automatically updated to reflect the committed changes.