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 <stdlib.h>
#include <stdio.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);
-}
-
void
testmain (int argc, char **argv)
{