Exemplos de releaseStates em C++ (Cpp)

Exemplo n.º 1

Arquivo: MergeHandler.cpp Projeto: ccadar/klee

MergeHandler::~MergeHandler() {
  auto it = std::find(executor->mergeGroups.begin(),
                      executor->mergeGroups.end(), this);
  std::swap(*it, executor->mergeGroups.back());
  executor->mergeGroups.pop_back();

  releaseStates();
}

Exemplo n.º 2

Arquivo: MergeHandler.cpp Projeto: helicopter88/klee

MergeHandler::~MergeHandler() {
  releaseStates();
}