action / threads: add THREAD_START action at start of each thread
authorBrian Norris <banorris@uci.edu>
Wed, 11 Jul 2012 21:52:56 +0000 (14:52 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 11 Jul 2012 21:52:56 +0000 (14:52 -0700)
commit38dbc133c5e2712828cf13e17d05331d2b48dcf2
tree10b726dfda8384e081bd27c85140603384f67a87
parent1069e1b27fc4ed06476da0a8793a55e68b8a6b86
action / threads: add THREAD_START action at start of each thread

The datarace code needs every thread to have at least one action in it, so that
the action has a valid non-zero clock.
action.cc
action.h
threads.cc