projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a911447) | patch
nodestack: pass writer ModelAction to add_future_value()
authorBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 18:43:48 +0000 (10:43 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 18:43:48 +0000 (10:43 -0800)
commitf10dc6ce67a97ab18423e7cedaa24961bf0d80dc
treecc55a1ebd5e892285e35215263c1a28dda67802ctree | snapshot
parenta91144758ab80e865e5227c236e368fc0d3d77a9commit | diff
nodestack: pass writer ModelAction to add_future_value()

NodeStack will have to know a little more about who wrote the future
value, so just pass the ModelAction as a parameter.
model.cc diff | blob | history
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C11 Tester Tool Public Repository