The C test suite uses a function called testutil_die to handle exiting in a consistent manner. It would be useful to change that call to use abort rather than exit so we are left with a core file to analyze.