projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22cfbcd) | patch
model: bugfix get_last_seq_action()
authorBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 17:29:04 +0000 (10:29 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 18 Sep 2012 17:43:59 +0000 (10:43 -0700)
commit85234dee853ecfdc0ccdb44703a1119b806a465b
treee7f3e5832c6ab2ccf49bac97f00c9a20bd337712tree | snapshot
parent22cfbcda627e74a3a8134bfcde03793e18c47681commit | diff
model: bugfix get_last_seq_action()

The action lists may include the current action, which we don't want to
consider for 'get_last_seq_action()'.

Also, rewrite some of the comments for this function.

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