return &ctx;
}
-/* default __ex_terminate callback function */
-void __xbt_ex_terminate_default(xbt_ex_t *e) {
+/** @brief shows an exception content and the associated stack if available */
+void xbt_ex_display(xbt_ex_t *e) {
fprintf(stderr,
"** SimGrid: UNCAUGHT EXCEPTION: category: %s; value: %d\n"
free (strings);
}
#endif
+}
+
+
+/* default __ex_terminate callback function */
+void __xbt_ex_terminate_default(xbt_ex_t *e) {
+ xbt_ex_display(e);
abort();
}