summaryrefslogtreecommitdiff
path: root/tests/tadd.c
diff options
context:
space:
mode:
authorthevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2008-05-30 12:07:33 +0000
committerthevenyp <thevenyp@211d60ee-9f03-0410-a15a-8952a2c7a4e4>2008-05-30 12:07:33 +0000
commit0b55c596b46f71b6efe426728a0173b566f24970 (patch)
treea514def9770e2ac0c75c86f80f3e2517dbefcd1f /tests/tadd.c
parentcd15a7dfc9f31517c50d230b5c3c1b42c35bec98 (diff)
downloadmpc-0b55c596b46f71b6efe426728a0173b566f24970.tar.gz
Add random seed setting (with environmnent variable GMP_CHECK_RANDOMIZE) for
reproducible tests. git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@147 211d60ee-9f03-0410-a15a-8952a2c7a4e4
Diffstat (limited to 'tests/tadd.c')
-rw-r--r--tests/tadd.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/tadd.c b/tests/tadd.c
index 9c3f3b8..ade98b5 100644
--- a/tests/tadd.c
+++ b/tests/tadd.c
@@ -22,6 +22,8 @@ MA 02111-1307, USA. */
#include <stdio.h>
#include "mpc.h"
+#include "random.c"
+
#define TEST_FUNCTION mpc_add
#define TWOARGS
#include "tgeneric.c"
@@ -60,8 +62,12 @@ check_ternary_value ()
int
main()
{
+ test_start ();
+
check_ternary_value();
tgeneric ();
+ test_end ();
+
return 0;
}