From 43093e4b3ac4695b4d6a7e047921cccf860d17be Mon Sep 17 00:00:00 2001
From: Philip Oetinger <philip.oetinger@zettascale.tech>
Date: Mon, 30 Oct 2023 16:28:27 +0100
Subject: [PATCH] Add `ddsrt_abort` to the symbol export test

---
 src/core/xtests/symbol_export/symbol_export.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/xtests/symbol_export/symbol_export.c b/src/core/xtests/symbol_export/symbol_export.c
index 1a70c8c00c..ef86d00222 100644
--- a/src/core/xtests/symbol_export/symbol_export.c
+++ b/src/core/xtests/symbol_export/symbol_export.c
@@ -847,6 +847,7 @@ int main (int argc, char **argv)
   // ddsrt/process.h
   ddsrt_getpid ();
   ddsrt_getprocessname ();
+  ddsrt_abort ();
 
   // ddsrt/time.h
   ddsrt_mtime_t mt = { .v = 0};