X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=common.cc;fp=common.cc;h=8cb649bbb10db23b0cb2b4cd2e374e294e73390c;hb=70515e16c177a40e1053285262ff34e10c33e57e;hp=0000000000000000000000000000000000000000;hpb=27178b4c4870ab7dcbcfb1135f73a78a19cf4ff8;p=model-checker.git

diff --git a/common.cc b/common.cc
new file mode 100644
index 0000000..8cb649b
--- /dev/null
+++ b/common.cc
@@ -0,0 +1,25 @@
+#include <execinfo.h>
+#include <stdio.h>
+#include <stdlib.h>
+
+#include "common.h"
+
+#define MAX_TRACE_LEN 100
+
+/** Print a backtrace of the current program state. */
+void print_trace(void)
+{
+	void *array[MAX_TRACE_LEN];
+	char **strings;
+	int size, i;
+
+	size = backtrace(array, MAX_TRACE_LEN);
+	strings = backtrace_symbols(array, size);
+
+	printf("\nDumping stack trace (%d frames):\n", size);
+
+	for (i = 0; i < size; i++)
+		printf("\t%s\n", strings[i]);
+
+	free(strings);
+}