Searched refs:runseconds (Results 1 – 1 of 1) sorted by relevance
161 long runseconds, /* number of seconds to run */ in main() local178 runseconds = (long)(execution_time * 60.0 * 60.0); in main()194 printf("runseconds: %ld (sec)\n", runseconds); in main()214 while ((time(0) - start_time) < runseconds) { in main()