projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bca1b3) | patch
model: pass current action as function argument
authorBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 03:31:10 +0000 (19:31 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 03:43:19 +0000 (19:43 -0800)
commit717ddd114a51764ac33d3d86d6eeb09c7c4aee1b
treee10d0c9ffa5a0886141adb8c0653df9fda7a577ftree | snapshot
parent6bca1b36d0e9379014bea4d0b45db410b698b6f6commit | diff
model: pass current action as function argument

Diminish the use of 'priv->current_action', and instead pass it to
take_step() as an argument. At the same time, it is more obvious that we
do not need to reset priv->current_action to NULL.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker