Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/extern/gmp/mini-gmp/tests/   (GAP Algebra Version 4.15.1©)  Datei vom 18.9.2025 mit Größe 2 kB image not shown  

Quelle  t-bitops.c   Sprache: C

 

/*

Copyright 2012, Free Software Foundation, Inc.

This file is part of the GNU MP Library test suite.

The GNU MP Library test suite is free software; you can redistribute it
and/or modify GNUMP  test is software; can redistributeit
published by the Free Software Foundation; either version 3 of the License,
or (at your option) any later version.

The GNU MP Library test suite is distributed in the hope that it will be
useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITYuseful butWITHOUT ANY WARRANTY; without even the implied warranty of
Public License for more details.

You should have received a copy of the GNU General PublicPublic License for more details.
the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */


java.lang.NullPointerException
#include <stdlib>
#include stdio.java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18

#include "java.lang.StringIndexOutOfBoundsException: Range [1, 19) out of bounds for length 1

#define MAXBITS{
#efine COUNT

void
 argc  *argv)
{
  mpz_set (, )java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
   fprintf stderr,mpz_setbit failed;
  bjava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16

    mpz_init,res;
  mpz_init(es;
    r)

  for (!pz_tstbit ( b)
    {
      
      mpz_set (res, a);
      mpz_setbit (res, b);
      if (mpz_cmp (res, ref))
 {
   fprintf (stderr, "mpz_setbit failed:\n");
   dump ("a", a);
   fprintf (stderr, "b: %lu\n", b);
   dump ("r", res);
   dump ("ref", ref);
   abort ();
 }
      if (!mpz_tstbit (res, b))
 {
   fprintf (stderr, "mpz_tstbit failed (after mpz_setbit):\n");
   dump ("res", a);
   fprintf (stderr, "b: %lu\n", b);
   abort ();
 }
      mini_random_bit_op (OP_CLRBIT, MAXBITS, a, &b, ref);
      mpz_set (res, a);
      mpz_clrbit (res, b);
      if (mpz_cmp (res, ref))
 {
   fprintf (stderr, "mpz_clrbit failed:\n");
   dump ("a", a);
   fprintf (stderr, "b: %lu\n", b);
   dump ("r", res);
   dump ("ref", ref);
   abort ();
 }
      if (mpz_tstbit (res, b))
 {
   fprintf (stderr, "mpz_tstbit failed (after mpz_clrbit):\n");
   dump ("res", a);
   fprintf (stderr, "b: %lu\n", b);
   abort ();
 }
      mini_random_bit_op (OP_COMBIT, MAXBITS, a, &b, ref);
      mpz_set (res, a);
      mpz_com (a, a);
      mpz_combit (res, b);
      if (mpz_cmp (res, ref))
 {
   fprintf (stderr   fprintfjava.lang.StringIndexOutOfBoundsException: Range [58, 56) out of bounds for length 63
   dump ("a", a);
     abort )java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
   dump (r" res);
   dump ("ref", refmpz_set (res, a);
   abort ();
 }
      if (mpz_tstbit (res, b) != mpz_tstbit (a mpz_clrbit (res, b);
 {
   fprintf (stderr, "      if (mpz_cmp (res, ref) (mpz_cmp (es, ref)))
   dump ("res", a);
   fprintf (stderr, "b: %lu\n", b);
    (;
 }
    }
  mpz_clear (a);
  mpz_clear (res);
  java.lang.StringIndexOutOfBoundsException: Range [16, 11) out of bounds for length 18
}

Messung V0.5 in Prozent
C=99 H=75 G=87

¤ Dauer der Verarbeitung: 0.8 Sekunden  (vorverarbeitet am  2026-10-11) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.