projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8548c71) | patch
model: rearrange switch block, handle RMW
authorBrian Norris <banorris@uci.edu>
Thu, 12 Jul 2012 19:29:34 +0000 (12:29 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 12 Jul 2012 22:25:06 +0000 (15:25 -0700)
commitfe5598b01eb1a72a708a67a1a004149b8bcbc83a
tree9a22ceb46654e51a6853b0ac3e6a91b35cbeb7a9tree | snapshot
parent8548c711d71b6474802af83f5a4800eb4ac30718commit | diff
model: rearrange switch block, handle RMW

This switch block shouldn't have to be updated for every new action_type_t.
Rewrite so that we only have to worry about significant actions, like
ATOMIC_{READ,WRITE,RMW}.
model.cc diff | blob | history
C11 Tester Tool Public Repository