[PATCH] D52031: [analyzer] Small SMT API improvement

This revision was automatically updated to reflect the committed changes. Closed by commit rC344463: [analyzer] Small SMT API improvement (authored by esteffin, committed by ). Herald added subscribers: cfe-commits, donat.nagy. Repository: rC Clang https://reviews.llvm.org/D52031 Files: inc

[PATCH] D50818: [analyzer] Improved cmake configuration for Z3

This revision was automatically updated to reflect the committed changes. Closed by commit rC344464: [analyzer] Improved cmake configuration for Z3 (authored by esteffin, committed by ). Herald added subscribers: cfe-commits, donat.nagy. Repository: rC Clang https://reviews.llvm.org/D50818 Fi