projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9885ab0) | patch
model: add helper for allocating new UNINIT actions
authorBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:03:53 +0000 (22:03 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:41:29 +0000 (22:41 -0800)
commit19df39f5f8af9fbe0f67df290681e8663938aacc
tree021c87dd2dac0369405f4619601fed58e0bdf556tree | snapshot
parent9885ab0975d0b812219321ca14794d0f2ca3802ccommit | diff
model: add helper for allocating new UNINIT actions

These UNINIT actions will be special; they won't enter the NodeStack,
and so they need to be snapshot-allocated. That way, they will roll-back
with the execution, instead of requiring manual deletion.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker