projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d4a273) | patch
action: add get_return_value()
authorBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 23:13:42 +0000 (15:13 -0800)
committerBrian Norris <banorris@uci.edu>
Sun, 3 Mar 2013 06:37:16 +0000 (22:37 -0800)
commitc1db87fb3d52c93feb22496fe1e8513e35320c3d
treee23d87b1d73aed565a6e6090c8f6b295589c6152tree | snapshot
parent8d4a273698366b54612e40742ef6fb7bd63c7090commit | diff
action: add get_return_value()

This return value is useful for both printing (debugging) and the
model-checker process_read() function.
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker