projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fda7813) | patch
model: use get_thread(curr) instead of get_current_thread()
authorBrian Norris <banorris@uci.edu>
Thu, 20 Dec 2012 00:50:11 +0000 (16:50 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 2 Jan 2013 22:14:20 +0000 (14:14 -0800)
commitf19a959f1a76e35316df4b8dce39d17640305417
treecd6203351c8936b6baa8993a40a6e7f6e87a513ctree | snapshot
parentfda78132342c17dd25db22977211536d38f7e853commit | diff
model: use get_thread(curr) instead of get_current_thread()

The former is more accurate; the latter is only intended for use while
in user-thread context, where we are sure that Scheduler is in the
appropriate state.
model.cc diff | blob | history
C11 Tester Tool Public Repository