threads: construct Thread only with a given "parent"
authorBrian Norris <banorris@uci.edu>
Mon, 25 Feb 2013 23:15:28 +0000 (15:15 -0800)
committerBrian Norris <banorris@uci.edu>
Mon, 25 Feb 2013 23:15:28 +0000 (15:15 -0800)
commitad52dcdb3a75a69242a392165934e942cb76513b
tree7e6f8da24cb690f40eb11b4db4efa4bf8046f720
parent3f77119600ac3aa246258dec2776056d09f8e4e0
threads: construct Thread only with a given "parent"

The Thread constructor really doesn't need to call thread_current(),
since it will always be called from model-checker context. Clean up the
use of default "parent_thrd" parameter and just pass NULL when we have
no parent.
model.cc
threads-model.h
threads.cc