summaryrefslogtreecommitdiff
path: root/tests/tmul.c
diff options
context:
space:
mode:
authorPhilippe Theveny <philippe.theveny@laposte.net>2008-05-30 12:07:33 +0000
committerPhilippe Theveny <philippe.theveny@laposte.net>2008-05-30 12:07:33 +0000
commitc35365736ef9f873bab09c4da6cf58745e72c614 (patch)
treea514def9770e2ac0c75c86f80f3e2517dbefcd1f /tests/tmul.c
parentce5952f3b17661426fde68dbc7e4b7a9317adbb1 (diff)
downloadmpc-git-c35365736ef9f873bab09c4da6cf58745e72c614.tar.gz
Add random seed setting (with environmnent variable GMP_CHECK_RANDOMIZE) for
reproducible tests. git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/mpc/trunk@147 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/tmul.c')
-rw-r--r--tests/tmul.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/tmul.c b/tests/tmul.c
index 7f5b745..7909ae2 100644
--- a/tests/tmul.c
+++ b/tests/tmul.c
@@ -29,6 +29,8 @@ MA 02111-1307, USA. */
#include "mpc.h"
#include "mpc-impl.h"
+#include "random.c"
+
void cmpmul (mpc_srcptr, mpc_srcptr, mpc_rnd_t);
void cmpmului (mpc_srcptr, unsigned long int, mpc_rnd_t);
void cmpmulsi (mpc_srcptr, long int, mpc_rnd_t);
@@ -409,6 +411,8 @@ main()
int i;
long int ysi;
+ test_start ();
+
#ifdef TIMING
timemul ();
#endif
@@ -456,5 +460,7 @@ main()
mpc_clear (x);
mpc_clear (y);
+ test_end ();
+
return 0;
}