HomePhabricator

Got rid of the `Z3ConstraintManager` class

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

Description

Got rid of the Z3ConstraintManager class

Now, instead of passing the reference to a shared_ptr, we pass the shared_ptr instead.

I've also removed the check if Z3 is present in CreateZ3ConstraintManager as this function already calls CreateZ3Solver that performs the exactly same check.

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

llvm-svn: 353371

Details

Committed
mikhail.ramalhoFeb 6 2019, 7:18 PM
Differential Revision
D54976: [analyzer] Got rid of the `Z3ConstraintManager` class
Parents
rGc9cd50726364: Generalised the SMT state constraints
Branches
Unknown
Tags
Unknown