- for (int i = 0; i < 16; i++)
- positions.push_back(string(BenchmarkPositions[i]));
-
- ofstream timingFile;
- if (!timFile.empty())
- {
- timingFile.open(timFile.c_str(), ios::out | ios::app);
- if (!timingFile.is_open())
- {
- cerr << "Unable to open timing file " << timFile << endl;
- Application::exit_with_failure();
- }
- }