From: Brian Norris <banorris@uci.edu>
Date: Wed, 2 May 2012 23:57:06 +0000 (-0700)
Subject: threads: don't call the userprogram interface for initial thread, just create it
X-Git-Tag: pldi2013~468
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8c8e990efa97568549542133e13d9f4df375dd15;p=model-checker.git

threads: don't call the userprogram interface for initial thread, just create it

This will help once I start model-checking thrd_create().
---

diff --git a/threads.cc b/threads.cc
index d799144..e0cb277 100644
--- a/threads.cc
+++ b/threads.cc
@@ -152,7 +152,7 @@ int main()
 
 	do {
 		/* Start user program */
-		thrd_create(&user_thread, &user_main, NULL);
+		model->add_thread(new Thread(&user_thread, &user_main, NULL));
 
 		/* Wait for all threads to complete */
 		thread_wait_finish();