From: cazamias Date: Wed, 26 Sep 2012 23:43:44 +0000 (+0000) Subject: Small fixes to get_times program X-Git-Tag: v8.0.0~2032 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=daf98d795579c9280c4895d58fef57f22991282a;p=dealii.git Small fixes to get_times program git-svn-id: https://svn.dealii.org/trunk@26771 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/tests/benchmarks/gettimes/get_times.cc b/tests/benchmarks/gettimes/get_times.cc index 5ddc93ad88..5a8b127d9b 100644 --- a/tests/benchmarks/gettimes/get_times.cc +++ b/tests/benchmarks/gettimes/get_times.cc @@ -17,7 +17,7 @@ int main(int argc, char *argv[]) { stringstream ss; const int IGNORE_LINES = 3; //Number of initial lines to ignore - input.open("test_input.txt"); + input.open("temp.txt"); if(argc <= 1) { cerr << "Error: " << argv[0] << " requires one argument" << endl; @@ -35,7 +35,7 @@ int main(int argc, char *argv[]) { } vector names; - vector times; + vector times; //Extract name and execution time from each line while(!input.eof()) @@ -53,7 +53,7 @@ int main(int argc, char *argv[]) { //Find time string and convert to double int num_start = last_s - 1; - while(isdigit(curr_line[num_start]) || curr_line[num_start] == '.') + while(curr_line[num_start] != ' ')//isdigit(curr_line[num_start]) || curr_line[num_start] == '.') num_start--; string timestr = curr_line.substr(num_start+1, last_s - num_start); ////cout << timestr << endl;