HomePhabricator

Moved the whole SMT API to a single file. NFC.

Authored by mikhail.ramalho on Feb 6 2019, 7:18 PM.

Description

Moved the whole SMT API to a single file. NFC.

There is no advantage in having them in separate files, I doubt some will ever use them separately.

This also makes it easier to move the API to LLVM.

Differential Revision: https://reviews.llvm.org/D54977

llvm-svn: 353372

Details

Committed
mikhail.ramalhoFeb 6 2019, 7:18 PM
Differential Revision
D54977: [analyzer] Moved the whole SMT API to a single file. NFC.
Parents
rGc1f8cad19110: Got rid of the `Z3ConstraintManager` class
Branches
Unknown
Tags
Unknown