projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ceedfc7) | patch
model: make comment more accurate
authorBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 18:17:40 +0000 (11:17 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 18:17:40 +0000 (11:17 -0700)
commit138d4a85736bd67f9adf6efeb5e3bb63165d8862
treebcbd1a311f76294063f10f5636cff09eac62465btree | snapshot
parentceedfc78a02fed2f0eb6d4e699969526660c2123commit | diff
model: make comment more accurate

add_action_to_lists() does not only work on the per-object, per-thread action
list. It performs several pieces of bookkeeping.
model.cc diff | blob | history
C++11 memory model checker