summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilippe Theveny <philippe.theveny@laposte.net>2013-12-03 16:45:45 +0000
committerPhilippe Theveny <philippe.theveny@laposte.net>2013-12-03 16:45:45 +0000
commitaee9e93a4cf03ac7641b155d96faf344bdc3d272 (patch)
tree11d3c82b6cf8e4b800c7ed7977cf87bbca6aab02
parentfac54c8462f4ad968d41e53a8b0027ad28806e86 (diff)
downloadmpc-git-aee9e93a4cf03ac7641b155d96faf344bdc3d272.tar.gz
[tests/] Add random generator for double.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/mpc/branches/benchs_tests@1375 211d60ee-9f03-0410-a15a-8952a2c7a4e4
-rw-r--r--tests/mpc-tests.h5
1 files changed, 3 insertions, 2 deletions
diff --git a/tests/mpc-tests.h b/tests/mpc-tests.h
index 1b43361..3be91ff 100644
--- a/tests/mpc-tests.h
+++ b/tests/mpc-tests.h
@@ -107,8 +107,9 @@ extern void test_end (void);
extern void test_default_random (mpc_ptr, mp_exp_t, mp_exp_t,
unsigned int, unsigned int);
-void test_random_si (long int *n, unsigned long emax,
- unsigned int negative_probability);
+void test_random_si (long int *n, unsigned long emax,
+ unsigned int negative_probability);
+void test_random_d (double *x, unsigned int negative_probability);
void test_random_mpfr (mpfr_ptr x, mpfr_exp_t emin, mpfr_exp_t emax,
unsigned int negative_probability);
void test_random_mpc (mpc_ptr z, mpfr_exp_t emin, mpfr_exp_t emax,