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};