================
@@ -50,16 +45,17 @@ void Z3ErrorHandler(Z3_context Context, Z3_error_code
Error) {
/// Wrapper for Z3 context
class Z3Context {
----------------
NagyDonat wrote:Another class that manages a resource in a destructor, but does not handle copy/move assignment/construction. https://github.com/llvm/llvm-project/pull/95128 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
