From 11d6c99c6e7e943a8a4c4d96bc4798acc55bee26 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 6 Jul 2012 17:39:42 -0700 Subject: [PATCH] model: improve build_reads_from_past() comment --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index 3e25dc6..a67163f 100644 --- a/model.cc +++ b/model.cc @@ -340,7 +340,7 @@ void ModelChecker::build_reads_from_past(ModelAction *curr) } curr->get_node()->add_read_from(act); - /* Include at most one act that "happens before" curr */ + /* Include at most one act per-thread that "happens before" curr */ if (act->happens_before(curr)) break; } -- 2.34.1