Commit a17c8678d78547bdda40b859064657ad732f61b0

Bruno Haible 2020-07-12T22:51:22

libgmp tests: Add some safety checks. * modules/libgmp-tests (Depends-on): Add verify. * tests/test-libgmp.c: Verify GMP_NUMB_BITS value. (main): Verify that gmp.h and libgmp versions match.