replace "srand()" by "rng.reseed()" and correct the printf of execution time

git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@2356 331e1502-861f-0410-8da2-ba01fb791d7f
This commit is contained in:
boufaras 2011-09-14 09:15:20 +00:00
commit 01c35379bf

View file

@ -121,8 +121,6 @@ void main_function(int argc, char **argv)
//reproducible random seed: if you don't change SEED above,
// you'll aways get the same result, NOT a random run
rng.reseed(seed);
srand(seed);
/* =========================================================
*
@ -209,9 +207,10 @@ void main_function(int argc, char **argv)
timer.start();
localSearch(sol);
timer.stop();
std::cout << "final: " << sol << std::endl;
printf("Execution time = %f ms\n",timer.getTime());
timer.deleteTimer();
std::cout << "final: " << sol << std::endl;
/* =========================================================
*