projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e6579a) | patch
model: add ModelChecker::get_thread(ModelAction *act)
authorBrian Norris <banorris@uci.edu>
Wed, 12 Sep 2012 02:45:57 +0000 (19:45 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 12 Sep 2012 02:45:57 +0000 (19:45 -0700)
commitfb586a0c8293b0acfa681820e9c3ded9462b689d
treed7b6eb654a1f073002d2fce22610550203f6a366tree | snapshot
parent3e6579acd2456b1a7e0fc0aaa7e2e9b5bdb78a27commit | diff
model: add ModelChecker::get_thread(ModelAction *act)

Many times, I need to convert ModelAction to a Thread. Overload get_thread() to
make it easier to use.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker