From e61244213160c2151a77c7cf8ca8beb865e62140 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
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 23efa8f7..3be75b25 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 <trace_analyses->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