diff --git a/common/utils/assertions.h b/common/utils/assertions.h
index bc81617a87b672c9fb2119d983c11aef1f97e5a3..2ede7cfb830f7fe62ef691d0ae59df73c6821272 100644
--- a/common/utils/assertions.h
+++ b/common/utils/assertions.h
@@ -41,6 +41,7 @@ do {                                                                    \
                 __FILE__, __LINE__, __FUNCTION__);                      \
         fprintf(stderr, #vALUE1": %"PRIdMAX"\n"#vALUE2": %"PRIdMAX"\n"#vALUE3": %"PRIdMAX"\n",  \
         (intmax_t)vALUE1, (intmax_t)vALUE2, (intmax_t)vALUE3);                         \
+        fprintf(stderr, "Exiting execution\n");                         \
         abort();                                                        \
     }                                                                   \
 } while(0)
@@ -53,6 +54,7 @@ do {                                                                    \
         fprintf(stderr, #vALUE1": %"PRIdMAX"\n"#vALUE2": %"PRIdMAX"\n"#vALUE3": %"PRIdMAX"\n"   \
         #vALUE4": %"PRIdMAX"\n",                                                \
         (intmax_t)vALUE1, (intmax_t)vALUE2, (intmax_t)vALUE3, (intmax_t)vALUE4);            \
+        fprintf(stderr, "Exiting execution\n");                         \
         exit(EXIT_FAILURE);                                             \
     }                                                                   \
 } while(0)
@@ -63,8 +65,9 @@ do {                                                                    \
 #define DevAssert(cOND)                                                 \
 do {                                                                    \
     if (!(cOND))    {                                                   \
-        fprintf(stderr, "%s:%d:%s Assertion `"#cOND"` failed.\n",       \
+        fprintf(stderr, "%s:%d:%s Assertion `"#cOND"` failed\n",        \
         __FILE__, __LINE__, __FUNCTION__);                              \
+        fprintf(stderr, "Exiting execution\n");                         \
         abort();                                                        \
     }                                                                   \
 } while(0)
@@ -73,6 +76,7 @@ do {                                                                    \
 do {                                                                    \
     fprintf(stderr, "%s:%d:%s Execution interrupted: `"#mESSAGE"`.\n",  \
     __FILE__, __LINE__, __FUNCTION__);                                  \
+    fprintf(stderr, "Exiting execution\n");                             \
     abort();                                                            \
 } while(0)