make check fail

[American Citizen]

Hello:

How do I troubleshoot this problem? I did the latest git pull from https://github.com/flintlib/flint.git and after git installed the directory, I did a "git pull" to make sure that everything was up to date. The message indicated yes.

The config and make routines went flawlessly.

However running make check failed with the following output.

owner@localhost:~/flint> make check
add_ssaaaa...
add_ssaaaa                                        0.01   (PASS)
add_sssaaaaaa...
add_sssaaaaaa                                     0.06   (PASS)
flint_clz...
flint_clz                                         0.00   (PASS)
flint_ctz...
flint_ctz                                         0.00   (PASS)
flint_fprintf...
make: *** [Makefile:791: build/test/main_TEST_RUN] Segmentation fault (core dumped)

owner@localhost:~/flint> make check MOD=flint_fprintf
Makefile:533: Dependency tracking only set to cover the test executables of flint_fprintf.

All tests passed for flint_fprintf.

So I am puzzled, individually the test passed, so why did we crash? Can gdb be used to debug this crash?

Randall