projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85234de) | patch
model: check_recency - "already_added" always true
authorBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 17:36:06 +0000 (10:36 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 17:44:00 +0000 (10:44 -0700)
commit8060b81309297c5d890f5229fd6c6fb2bb350b07
tree67af597b9fde7128cffd0e530985502c6e9db5f3tree | snapshot
parent85234dee853ecfdc0ccdb44703a1119b806a465bcommit | diff
model: check_recency - "already_added" always true

The current action is always part of the lists now.

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