| 166 | |
| 167 | |
| 168 | void print_options() |
| 169 | { |
| 170 | cout << left; |
| 171 | cout << setw(12) << "file" << |
| 172 | setw(12) << options.fname_ << "\n"; |
| 173 | cout << setw(12) << "solver" << setw(12) << |
| 174 | solverList[static_cast<size_t>(options.solver_)] << "\n"; |
| 175 | cout << setw(12) << "threads" << setw(12) << |
| 176 | options.num_threads_ << "\n"; |
| 177 | cout << setw(12) << "memory" << setw(12) << |
| 178 | options.memory_mb_ << " MB\n"; |
| 179 | cout << "\n" << right; |
| 180 | } |
| 181 | |
| 182 | |
| 183 | void read_args( |
nothing calls this directly
no outgoing calls
no test coverage detected