From f597cf6ffe74b23849ae40ecc6c9132f81160775 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 20 Apr 2012 10:59:02 -0700 Subject: [PATCH] model: add simple comment --- model.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/model.cc b/model.cc index 1eac9283..bf956804 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; -- 2.34.1