fixup usage of int vs. thread_id_t
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 22:26:52 +0000 (15:26 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 22:36:02 +0000 (15:36 -0700)
commit7f6f38735411f44357208a952278a419454b52b2
tree6bb3473545496fa6739384aecf7f7037182b60a9
parentec80014245d22f726e4d66a89b6bd6d293db177c
fixup usage of int vs. thread_id_t
datarace.cc
libthreads.cc
model.cc