Z3SolverImpl::~Z3SolverImpl() { Z3_params_dec_ref(builder->ctx, solverParameters); delete builder; if (dumpedQueriesFile) { dumpedQueriesFile->close(); delete dumpedQueriesFile; } }
Z3SolverImpl::~Z3SolverImpl() { Z3_params_dec_ref(builder->ctx, solverParameters); delete builder; }