diff options
author | Kevin Ryde <user42@zip.com.au> | 2001-10-01 03:00:07 +0200 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2001-10-01 03:00:07 +0200 |
commit | d708eab6cb9311e0e86ce85fbbd4173b76aeab7c (patch) | |
tree | df109626772e0288322c389616cb2936051a3ec5 /tests/misc.c | |
parent | f7abbee75dc1f4695d98a83d0a88a6154aa2cfcf (diff) | |
download | gmp-d708eab6cb9311e0e86ce85fbbd4173b76aeab7c.tar.gz |
* tests/misc.c (tests_rand_start): Print GMP_CHECK_RANDOMIZE=NN to
facilitate cut and paste when re-running.
Diffstat (limited to 'tests/misc.c')
-rw-r--r-- | tests/misc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/misc.c b/tests/misc.c index d9063b001..164b2f609 100644 --- a/tests/misc.c +++ b/tests/misc.c @@ -78,7 +78,7 @@ tests_rand_start (void) seed = atoi (perform_seed); if (! (seed == 0 || seed == 1)) { - printf ("GMP_CHECK_RANDOMIZE re-seeding with %lu\n", seed); + printf ("Re-seeding with GMP_CHECK_RANDOMIZE=%lu\n", seed); gmp_randseed_ui (rands, seed); } else @@ -88,7 +88,7 @@ tests_rand_start (void) gettimeofday (&tv, NULL); seed = tv.tv_sec + tv.tv_usec; gmp_randseed_ui (rands, seed); - printf ("GMP_CHECK_RANDOMIZE seed %lu (include this in bug reports)\n", seed); + printf ("Seed GMP_CHECK_RANDOMIZE=%lu (include this in bug reports)\n", seed); #else printf ("tests_rand_start(): Oops, gettimeofday() not available\n"); abort (); |