projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bbd9b9) | patch
action: add ModelAction::get_reads_from_value()
authorBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 20:30:41 +0000 (12:30 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 20:52:46 +0000 (12:52 -0800)
commit559511b7622dcbc48501f57b7adafb57aab5de3e
tree333a45adbdd7a9ffe33cb146bd03fe32982470d0tree | snapshot
parent6bbd9b9dd928e62df9dffbf9027124112eec0576commit | diff
action: add ModelAction::get_reads_from_value()

We can always get our 'read' value from reads_from or
reads_from_promise, so make it accessible via a function.
action.cc diff | blob | history
action.h diff | blob | history
C11 Tester Tool Public Repository