+void xbt_backtrace_display(const simgrid::xbt::Backtrace& bt)
+{
+ std::string backtrace = simgrid::xbt::resolve_backtrace(bt);
+ if (backtrace.empty()) {
+ fprintf(stderr, "(backtrace not set -- did you install Boost.Stacktrace?)\n");
+ return;
+ }
+ fprintf(stderr, "Backtrace (displayed in actor %s):\n", SIMIX_process_self_get_name());
+ std::fprintf(stderr, "%s\n", backtrace.c_str());