From: Brian Norris <banorris@uci.edu>
Date: Fri, 20 Apr 2012 17:59:02 +0000 (-0700)
Subject: model: add simple comment
X-Git-Tag: pldi2013~525
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f597cf6ffe74b23849ae40ecc6c9132f81160775;p=model-checker.git

model: add simple comment
---

diff --git a/model.cc b/model.cc
index 1eac928..bf95680 100644
--- a/model.cc
+++ b/model.cc
@@ -109,6 +109,7 @@ ModelAction *ModelChecker::get_last_conflict(ModelAction *act)
 		default:
 			break;
 	}
+	/* linear search: from most recent to oldest */
 	action_list_t::reverse_iterator rit;
 	for (rit = action_trace->rbegin(); rit != action_trace->rend(); rit++) {
 		ModelAction *prev = *rit;