From e61244213160c2151a77c7cf8ca8beb865e62140 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Sun, 14 Apr 2013 23:11:53 -0700 Subject: [PATCH] model: fixup whitespace --- model.cc | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/model.cc b/model.cc index 23efa8f..3be75b2 100644 --- a/model.cc +++ b/model.cc @@ -123,7 +123,7 @@ ModelChecker::~ModelChecker() delete thrd_last_action; delete thrd_last_fence_release; delete node_stack; - for (unsigned int i = 0; i size();i++) + for (unsigned int i = 0; i < trace_analyses->size(); i++) delete (*trace_analyses)[i]; delete trace_analyses; delete scheduler; @@ -596,13 +596,10 @@ bool ModelChecker::next_execution() return true; } -/** - * @brief Run trace analyses on complete trace. */ - +/** @brief Run trace analyses on complete trace */ void ModelChecker::run_trace_analyses() { - for(unsigned int i=0; i < trace_analyses->size(); i++) { + for (unsigned int i = 0; i < trace_analyses->size(); i++) (*trace_analyses)[i]->analyze(action_trace); - } } /** -- 2.34.1