projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a27eec0) | patch
action: return synchronization status for ModelAction::read_from()
authorBrian Norris <banorris@uci.edu>
Tue, 25 Sep 2012 23:29:14 +0000 (16:29 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 4 Oct 2012 00:01:42 +0000 (17:01 -0700)
commit5ead9124f62d38a96f606ddbcfc8a62c8d5f8335
treeb7369a968e20ee1c9717fe682efc5f2fd1af844ftree | snapshot
parenta27eec056d90e248a071bea6912e5ab09dea8242commit | diff
action: return synchronization status for ModelAction::read_from()

The ModelChecker may need to know if any synchronization was performed in
read_from().

Note that the return status is not used yet.
action.cc diff | blob | history
action.h diff | blob | history
C++11 memory model checker