projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f19a959) | patch
action: add get_thread_operand() method
authorBrian Norris <banorris@uci.edu>
Wed, 19 Dec 2012 23:26:47 +0000 (15:26 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 2 Jan 2013 22:15:49 +0000 (14:15 -0800)
commit87d6ae25425840ccad0ef6edef6e279967e83be6
tree3d0b2d73e61015d8b2f1b21afac38b5ca3ab8b64tree | snapshot
parentf19a959f1a76e35316df4b8dce39d17640305417commit | diff
action: add get_thread_operand() method

Instead of guessing at the (type-unsafe) storage within
THREAD_{CREATE,JOIN} ModelActions, we can at least code this within a
single method. Note that this method may get more complex, particularly
for THREAD_CREATE.
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker