projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73de022) | patch
model: add 'add_future_value()' wrapper
authorBrian Norris <banorris@uci.edu>
Tue, 8 Jan 2013 02:22:57 +0000 (18:22 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 8 Jan 2013 02:22:57 +0000 (18:22 -0800)
commitb410cb21b726638c0618e1a0b420374a707fb64b
tree3efb91e50c4e0f1eec3e9781020ab6f400c2b00btree | snapshot
parent73de022597f45a327075153343c13af0bbe9ad0acommit | diff
model: add 'add_future_value()' wrapper

Encapsulate a little logic in a function here, so we can reuse this in
other places.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker