Function SetDefaults

library/tests/args.cpp:158–165

void SetDefaults()
{
  options.fname_ = "input.txt";
  options.solver_ = Solver::DTEST_SOLVER_SOLVE;
  options.num_threads_ = 0;
  options.memory_mb_ = 0;
  options.report_slow_boards_ = false;
}


void print_options()