| commit | 9548a04ded99ee38b952d82f03ec3f191bc7c7b8 | [log] [tgz] |
|---|---|---|
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | Thu Feb 07 03:18:10 2019 +0000 |
| committer | Copybara-Service <copybara-worker@google.com> | Mon Sep 21 05:47:35 2020 -0700 |
| tree | 7ec649672cb48ef663a4c69db5aa2001777f2688 | |
| parent | 20116b72d132f92e9f73d0f526aa2180cef88ef1 [diff] |
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 GitOrigin-RevId: c1f8cad1911096c2864131bf038c5b6bf2d4ad4c