projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b561ab) | patch
model: simplify take_step()
authorBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 03:25:02 +0000 (19:25 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 03:43:19 +0000 (19:43 -0800)
commit6bca1b36d0e9379014bea4d0b45db410b698b6f6
tree58f7df5f0b1afdbdfa679cbafccc01c814660692tree | snapshot
parent1b561ab02787b79478b05189be3a4b342e5785f5commit | diff
model: simplify take_step()

Now that priv->current_action is always non-NULL (when reaching
take_step()), we can simplify the logic a bit. Also, rename some
variables.
model.cc diff | blob | history
C++11 memory model checker