C++ (Cpp) releaseStates Exemples

Exemple #1

Fichier : MergeHandler.cpp Projet : 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();
}

Exemple #2

Fichier : MergeHandler.cpp Projet : helicopter88/klee

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