From c3bd40a7f505ae299e5881d387b540b862dc8232 Mon Sep 17 00:00:00 2001 From: root Date: Fri, 6 Dec 2019 16:36:34 -0800 Subject: [PATCH] Bug fix to model.cc --- model.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 */ -- 2.34.1