From: Brian Norris <banorris@uci.edu>
Date: Tue, 10 Apr 2012 22:51:33 +0000 (-0700)
Subject: libthreads: print out trace at end of execution
X-Git-Tag: pldi2013~557
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6ea1bf50d878beff9f7d7203156b5715c452f492;p=model-checker.git

libthreads: print out trace at end of execution
---

diff --git a/libthreads.cc b/libthreads.cc
index a8ce0fa..f5cbb9f 100644
--- a/libthreads.cc
+++ b/libthreads.cc
@@ -178,6 +178,7 @@ int main()
 	/* Wait for all threads to complete */
 	thread_wait_finish();
 
+	model->print_trace();
 	delete model;
 	myFree(main_thread);