X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=b7e4ec1ca5ae789915e6ff2931e73668bb845034;hb=22cfbcda627e74a3a8134bfcde03793e18c47681;hp=95a6593a44829c1ae4c1152203b2bbee1162cb94;hpb=b7153285e24941be76175eeb163d25f6f604f96f;p=c11tester.git

diff --git a/snapshot.cc b/snapshot.cc
index 95a6593a..b7e4ec1c 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -17,6 +17,8 @@
 #include <sys/wait.h>
 #include <ucontext.h>
 
+#include "common.h"
+
 #define FAILURE(mesg) { printf("failed in the API: %s with errno relative message: %s\n", mesg, strerror( errno ) ); exit(EXIT_FAILURE); }
 
 #ifdef CONFIG_SSDEBUG
@@ -86,6 +88,7 @@ static void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsna
 static void HandlePF( int sig, siginfo_t *si, void * unused){
 	if( si->si_code == SEGV_MAPERR ){
 		printf("Real Fault at %p\n", si->si_addr);
+		print_trace();
 		exit( EXIT_FAILURE );
 	}
 	void* addr = ReturnPageAlignedAddress(si->si_addr);