Public License for more details.
You should have received a copy of the GNU General Public License along with
-the GNU MP Library test suite. If not, see http://www.gnu.org/licenses/. */
+the GNU MP Library test suite. If not, see https://www.gnu.org/licenses/. */
#include <assert.h>
#include <stdlib.h>
#define MAXBITS 400
#define COUNT 10000
-static void
-dump (const char *label, const mpz_t x)
-{
- char *buf = mpz_get_str (NULL, 16, x);
- fprintf (stderr, "%s: %s\n", label, buf);
- testfree (buf);
-}
-
typedef void div_qr_func (mpz_t, mpz_t, const mpz_t, const mpz_t);
typedef unsigned long div_qr_ui_func (mpz_t, mpz_t, const mpz_t, unsigned long);
typedef void div_func (mpz_t, const mpz_t, const mpz_t);