X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcommon.cc;h=b66fc4423332e6341e2f4c9d8174eeb67f850e21;hp=660472f3aded9552611aca28fbe2771812ab845d;hb=6f5e234d3f2862efea49475caf5fc6b296390f69;hpb=71b1f3df40acb5b54bbb06c2c55c97af1a62521b

diff --git a/src/common.cc b/src/common.cc
index 660472f..b66fc44 100644
--- a/src/common.cc
+++ b/src/common.cc
@@ -1,6 +1,18 @@
 #include "common.h"
+#include <stdio.h>
+#include <execinfo.h>
+#include <signal.h>
+#include <stdlib.h>
+#include <unistd.h>
 
 void assert_hook(void)
 {
 	model_print("Add breakpoint to line %u in file %s.\n", __LINE__, __FILE__);
-}
\ No newline at end of file
+}
+
+void print_trace(void){
+	void *array[10];
+	size_t size;
+	size = backtrace(array, 10);
+	backtrace_symbols_fd(array, size, STDERR_FILENO);	
+}