X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=90ef906ef6348ed9cdfc6717c1eaab1fb3d9e886;hb=f817fff71c1cc97fe1bd55fa791f0d68af88ed1a;hp=d9caf9a91e72ef727835a24433ba3496c74f7cd6;hpb=a4d3f2ae3f3a9e2a30cc36c92cee9f83bb09e9b1;p=model-checker.git

diff --git a/model.cc b/model.cc
index d9caf9a..90ef906 100644
--- a/model.cc
+++ b/model.cc
@@ -483,4 +483,8 @@ void ModelChecker::run()
 
 	model_print("******* Model-checking complete: *******\n");
 	print_stats();
+
+	/* Have the trace analyses dump their output. */
+	for (unsigned int i = 0; i < trace_analyses.size(); i++)
+		trace_analyses[i]->finish();
 }