]> Savannah Git Hosting - gnulib.git/commitdiff
libgmp-mpq: Add tests.
authorMarc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
Thu, 29 Aug 2024 09:15:11 +0000 (11:15 +0200)
committerMarc Nieper-Wißkirchen <marc@nieper-wisskirchen.de>
Thu, 29 Aug 2024 10:38:22 +0000 (12:38 +0200)
* modules/libgmp-mpq-tests: New file.
* tests/test-libgmp-mpq.c: New file.

ChangeLog
modules/libgmp-mpq-tests [new file with mode: 0644]
tests/test-libgmp-mpq.c [new file with mode: 0644]

index 1a7c89a1517fedc179a88556c2fd2a05adee6f2c..76fe201614a49b8dde722056d8ef560a8810e786 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2024-08-29  Marc Nieper-Wißkirchen  <marc@nieper-wisskirchen.de>
 
+       libgmp-mpq: Add tests.
+       * modules/libgmp-mpq-tests: New file.
+       * tests/test-libgmp-mpq.c: New file.
+
        libgmp-mpq: New module.
        * MODULES.html.sh: Mention libgmp-mpz and
        libgmp-mpq.
diff --git a/modules/libgmp-mpq-tests b/modules/libgmp-mpq-tests
new file mode 100644 (file)
index 0000000..0706222
--- /dev/null
@@ -0,0 +1,14 @@
+Files:
+tests/macros.h
+tests/test-libgmp-mpq.c
+
+Depends-on:
+assert-h
+c99
+
+configure.ac:
+
+Makefile.am:
+TESTS += test-libgmp-mpq
+check_PROGRAMS += test-libgmp-mpq
+test_libgmp_mpq_LDADD = $(LDADD) @LIBGMP@
diff --git a/tests/test-libgmp-mpq.c b/tests/test-libgmp-mpq.c
new file mode 100644 (file)
index 0000000..0217d13
--- /dev/null
@@ -0,0 +1,52 @@
+/* Test of libgmp or its mini-mpq substitute.
+   Copyright (C) 2024 Free Software Foundation, Inc.
+
+   This program is free software: you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation, either version 3 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
+
+#include <config.h>
+
+/* Specification.  */
+#include <gmp.h>
+
+#include <limits.h>
+#include <string.h>
+
+#include "macros.h"
+
+int
+main ()
+{
+  /* A simple sanity check that 2/3 + 2/3 = 4/3.  */
+  static mp_limb_t const twobody[] = { 2 };
+  static mp_limb_t const threebody[] = { 3 };
+  static mpz_t const two = MPZ_ROINIT_N ((mp_limb_t *) twobody, 1);
+  static mpz_t const three = MPZ_ROINIT_N ((mp_limb_t *) threebody, 1);
+  ASSERT (mpz_fits_slong_p (two));
+  ASSERT (mpz_get_si (two) == 2);
+  ASSERT (mpz_fits_slong_p (three));
+  ASSERT (mpz_get_si (three) == 3);
+
+  mpq_t q;
+  mpq_init (q);
+  mpz_set (mpq_numref (q), two);
+  mpz_set (mpq_denref (q), three);
+  mpq_add (q, q, q);
+  ASSERT (mpz_fits_slong_p (mpq_numref (q)));
+  ASSERT (mpz_get_si (mpq_numref (q)) == 4);
+  ASSERT (mpz_fits_slong_p (mpq_denref (q)));
+  ASSERT (mpz_get_si (mpq_denref (q)) == 3);
+  mpq_clear (q);
+
+  return test_exit_status;
+}