projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ab812e) | patch
model: force first thread to run immediately
authorBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 03:16:43 +0000 (19:16 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 03:43:19 +0000 (19:43 -0800)
commit1b561ab02787b79478b05189be3a4b342e5785f5
tree499c9c0f5fb5f9d97962f809409b1767cf87f3b0tree | snapshot
parent9ab812e65ac3bdf679247f01611f21d1af8968b9commit | diff
model: force first thread to run immediately

Forcing the first thread to run immediately yields us our first
ModelAction, so we won't have to special-case the case that
current_action == NULL.
model.cc diff | blob | history
C11 Tester Tool Public Repository