From: root <root@plrg-1.ics.uci.edu>
Date: Sat, 7 Dec 2019 00:36:34 +0000 (-0800)
Subject: Bug fix to model.cc
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c3bd40a7f505ae299e5881d387b540b862dc8232;p=c11tester.git

Bug fix to model.cc
---

diff --git a/model.cc b/model.cc
index 80e23578..52dd16f7 100644
--- a/model.cc
+++ b/model.cc
@@ -38,7 +38,7 @@ ModelChecker::ModelChecker() :
 	trace_analyses(),
 	inspect_plugin(NULL)
 {
-	printf("C11Tester\n"
+	model_print("C11Tester\n"
 				 "Copyright (c) 2013 and 2019 Regents of the University of California. All rights reserved.\n"
 				 "Distributed under the GPLv2\n"
 				 "Written by Weiyu Luo, Brian Norris, and Brian Demsky\n\n");
@@ -56,7 +56,7 @@ ModelChecker::ModelChecker() :
 	initRaceDetector();
 	/* Configure output redirection for the model-checker */
 	redirect_output();
-	install_trace_analyses(model->get_execution());
+	install_trace_analyses(get_execution());
 }
 
 /** @brief Destructor */