add.dat, tadd.c, Makefile.am: Add data set for mpc_add.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@267 211d60ee-9f03-0410-a15a-8952a2c7a4e4

1 files changed, 1 insertions, 0 deletions

diff --git a/tests/tadd.c b/tests/tadd.c
index 6ccf251..8c5570f 100644
--- a/tests/tadd.c
+++ b/tests/tadd.c
@@ -61,6 +61,7 @@ main (void)
   test_start ();
 
   check_ternary_value();
+  data_check (f, "add.dat");
   tgeneric (f, 2, 1024, 7, -1);
 
   test_end ();