Exemplos de Z3_params_dec_ref em C++ (Cpp)

Exemplo n.º 1

Arquivo: Z3Solver.cpp Projeto: andreamattavelli/klee

Z3SolverImpl::~Z3SolverImpl() {
  Z3_params_dec_ref(builder->ctx, solverParameters);
  delete builder;

  if (dumpedQueriesFile) {
    dumpedQueriesFile->close();
    delete dumpedQueriesFile;
  }
}

Exemplo n.º 2

Arquivo: Z3Solver.cpp Projeto: ArashAll/klee

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