diff options
| -rw-r--r-- | tests/trandom.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/tests/trandom.c b/tests/trandom.c index eb452a82d..cab79ea4d 100644 --- a/tests/trandom.c +++ b/tests/trandom.c @@ -202,8 +202,15 @@ main (int argc, char *argv[]) tests_start_mpfr (); if (argc > 1) verbose = 1; - - if (argc == 1) { nbtests = 10000; } else nbtests = atoi(argv[1]); + + nbtests = 10000; + if (argc > 1) + { + int a = atoi(argv[1]); + if (a != 0) + nbtests = a; + } + if (argc <= 2) { prec = 1000; } else prec = atoi(argv[2]); test_random (nbtests, prec, verbose); |