+ return result;
+}
+
+void Backtrace::display() const
+{
+ std::string backtrace = resolve();
+ 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());
+}
+
+} // namespace xbt
+} // namespace simgrid