projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 776279c) | patch
model: get_mutex() for locating the lock map
authorBrian Norris <banorris@uci.edu>
Wed, 3 Apr 2013 00:25:04 +0000 (17:25 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Apr 2013 00:25:04 +0000 (17:25 -0700)
commit4a86aaeab8ac67de02b4c692dead5fba243ab09b
treea139731f31ea126d8fd9206a75753ac3c0e2003btree | snapshot
parent776279c18c4a4e6b763c4aeffc65fafe37205824commit | diff
model: get_mutex() for locating the lock map

The mutex can already be located via get_mutex(), so don't try to guess
whether it was store in the value or location fields of the ModelAction.
model.cc diff | blob | history
C11 Tester Tool Public Repository