Page MenuHomePhabricator

[analyzer] Delete SMTContext. NFC.
ClosedPublic

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

Details

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.

Diff Detail

Repository
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
Closed by commit rC340532: [analyzer] Delete SMTContext. NFC. (authored by mramalho, committed by ). · Explain WhyAug 23 2018, 6:21 AM
This revision was automatically updated to reflect the committed changes.