From 6f2366a6076df350d1f7e0b562a61b3b99339b1f Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 23 Apr 2012 21:18:06 -0700 Subject: [PATCH] model: rename print_trace() -> print_summary(), fixup summary printing --- model.cc | 3 ++- model.h | 2 +- threads.cc | 2 -- 3 files changed, 3 insertions(+), 4 deletions(-) diff --git a/model.cc b/model.cc index fc0f13d..9d23788 100644 --- a/model.cc +++ b/model.cc @@ -112,6 +112,7 @@ thread_id_t ModelChecker::advance_backtracking_state() bool ModelChecker::next_execution() { num_executions++; + print_summary(); if ((exploring = model->get_next_backtrack()) == NULL) return false; model->reset_to_initial_state(); @@ -203,7 +204,7 @@ void ModelChecker::check_current_action(void) this->action_trace->push_back(next); } -void ModelChecker::print_trace(void) +void ModelChecker::print_summary(void) { action_list_t::iterator it; diff --git a/model.h b/model.h index 8cfd66f..80a27aa 100644 --- a/model.h +++ b/model.h @@ -75,7 +75,7 @@ public: void set_current_action(ModelAction *act) { current_action = act; } void check_current_action(void); - void print_trace(void); + void print_summary(void); Thread * schedule_next_thread(); int add_thread(Thread *t); diff --git a/threads.cc b/threads.cc index 7e23f59..456414d 100644 --- a/threads.cc +++ b/threads.cc @@ -158,8 +158,6 @@ int main() /* Wait for all threads to complete */ thread_wait_finish(); - - model->print_trace(); } while (model->next_execution()); delete th; -- 2.34.1