Function CloseDebugFiles

library/src/init.cpp:177–185

void CloseDebugFiles()
{
  for (unsigned thrId = 0; thrId < memory.NumThreads(); thrId++)
  {
  SolverContext tmp_ctx;
  [[maybe_unused]] auto thrp = tmp_ctx.thread();
  thrp->close_debug_files();
  }
}


void SetDeal(