projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32e654a) | patch
model: bugfix - w_modification_order handling current action
authorBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 17:40:33 +0000 (10:40 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 17:44:04 +0000 (10:44 -0700)
commit070c83982c17b896bc5252847a2d02396bbbbf59
treeb3222b3f5a45cd188a6fe6f770c1cd4db1e9c275tree | snapshot
parent32e654a5b04567bc88cd0746e14c8e4aec040375commit | diff
model: bugfix - w_modification_order handling current action

The current action should be skipped when iterating lists in
w_modification_order.

Bugfix thanks to Brian D.
model.cc diff | blob | history
C++11 memory model checker