8 #define MAX_TRACE_LEN 100
10 /** Print a backtrace of the current program state. */
11 void print_trace(void)
13 void *array[MAX_TRACE_LEN];
17 size = backtrace(array, MAX_TRACE_LEN);
18 strings = backtrace_symbols(array, size);
20 printf("\nDumping stack trace (%d frames):\n", size);
22 for (i = 0; i < size; i++)
23 printf("\t%s\n", strings[i]);
28 void model_print_summary(void)
30 model->print_summary();