Comment 1 for bug 2000876

To add a new breadcrumb to this investigation, I get the following stack trace:

#0 0x00007ffff795326b in pthread_kill () from /lib/x86_64-linux-gnu/libc.so.6
#1 0x00007ffff78fcc46 in raise () from /lib/x86_64-linux-gnu/libc.so.6
#2 0x00007ffff78e37fc in abort () from /lib/x86_64-linux-gnu/libc.so.6
#3 0x0000555555564ac4 in _Unwind_SetGR.cold ()
#4 0x000055555557a52b in __gcc_personality_v0 ()
#5 0x00007ffff78b7c64 in ?? () from /lib/x86_64-linux-gnu/libgcc_s.so.1
#6 0x00007ffff78b8321 in _Unwind_RaiseException () from /lib/x86_64-linux-gnu/libgcc_s.so.1
#7 0x00007ffff7c3cc54 in ada.exceptions.exception_propagation.propagate_gcc_exception () from /lib/x86_64-linux-gnu/libgnat-12.so
#8 0x00007ffff7c3cc85 in ada.exceptions.exception_propagation.propagate_exception () from /lib/x86_64-linux-gnu/libgnat-12.so
#9 0x00007ffff7c3d763 in ada.exceptions.complete_and_propagate_occurrence () from /lib/x86_64-linux-gnu/libgnat-12.so
#10 0x00007ffff7c3d7b0 in __gnat_raise_exception () from /lib/x86_64-linux-gnu/libgnat-12.so
#11 0x00007ffff7faa651 in ahven.assert (condition=<optimized out>, message=...) at /usr/src/ahven-2.8-6/src/ahven.adb:26
#12 0x0000555555575486 in assertion_tests.assert_int_equal.constprop (actual=2, message=..., expected=1) at /usr/src/ahven-2.8-6/src/ahven.adb:33
#13 0x00005555555675fa in assertion_tests.test_assert_equal () at /usr/src/ahven-2.8-6/test/assertion_tests.adb:51
#14 0x00007ffff7f9ee0b in ahven.framework.run (command=..., t=...) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:806
#15 0x00007ffff7f9eece in ahven.framework.run_command.run_a_command () at /usr/src/ahven-2.8-6/src/ahven-framework.adb:371
#16 0x00007ffff7fa26ca in ahven.framework.run_command (command=..., info=..., timeout=0, listener=..., t=...) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:419
#17 0x00007ffff7fa35cd in ahven.framework.run_internal (t=..., listener=..., command=..., test_name=..., routine_name=..., timeout=0) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:485
#18 0x00007ffff7fa3a0a in ahven.framework.run.exec (<cmdO>=false, cmd=...) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:513
#19 ahven.framework.run.run_all (target=...) at /usr/src/ahven-2.8-6/src/ahven-slist.adb:100
#20 ahven.framework.run (t=..., listener=..., timeout=0) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:524
#21 0x00007ffff7fa10a3 in ahven.framework.execute.run_impl () at /usr/src/ahven-2.8-6/src/ahven-framework.adb:227
#22 ahven.framework.execute.execute_impl (test_object=..., listener_object=...) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:203
#23 0x00007ffff7fa1484 in ahven.framework.execute (t=..., listener=..., timeout=timeout@entry=0) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:232
#24 0x00007ffff7fa1554 in ahven.framework.run.execute_test (current=...) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:643
#25 ahven.framework.run.execute_static_cases (target=...) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:116
#26 ahven.framework.run (t=..., listener=..., timeout=0) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:657
#27 0x00007ffff7fa10a3 in ahven.framework.execute.run_impl () at /usr/src/ahven-2.8-6/src/ahven-framework.adb:227
#28 ahven.framework.execute.execute_impl (test_object=..., listener_object=...) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:203
#29 0x00007ffff7fa1484 in ahven.framework.execute (t=..., listener=..., timeout=<optimized out>) at /usr/src/ahven-2.8-6/src/ahven-framework.adb:232
#30 0x00007ffff7fac208 in ahven.runner.run_suite (suite=..., reporter=0x7ffff7faf0f0 <ahven.text_runner.do_report>) at /usr/src/ahven-2.8-6/src/ahven-runner.adb:49
#31 0x000055555556b1d0 in tester () at /usr/src/ahven-2.8-6/test/tester.adb:24

I'm guessing some issue with exception handling?