#include "xbt/synchro.h" /* xbt_thread_self */
#include "gras/Virtu/virtu_interface.h" /* gras_os_myname */
#include "xbt/synchro.h" /* xbt_thread_self */
#include "gras/Virtu/virtu_interface.h" /* gras_os_myname */
/* Change raw libc symbols to file names and line numbers */
void xbt_ex_setup_backtrace(xbt_ex_t *e);
/* Change raw libc symbols to file names and line numbers */
void xbt_ex_setup_backtrace(xbt_ex_t *e);
fprintf(stderr,"Backtrace (displayed in thread %p):\n",
(void*)xbt_thread_self());
for (i=1; i<e->used; i++) /* no need to display "xbt_display_backtrace" */
fprintf(stderr,"Backtrace (displayed in thread %p):\n",
(void*)xbt_thread_self());
for (i=1; i<e->used; i++) /* no need to display "xbt_display_backtrace" */
#if defined(HAVE_EXECINFO_H) && defined(HAVE_POPEN) && defined(ADDR2LINE)
# include "backtrace_linux.c"
#if defined(HAVE_EXECINFO_H) && defined(HAVE_POPEN) && defined(ADDR2LINE)
# include "backtrace_linux.c"