From: Brian Norris <banorris@uci.edu>
Date: Tue, 24 Apr 2012 00:43:42 +0000 (-0700)
Subject: threads: initialized Thread member variables
X-Git-Tag: pldi2013~517
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=067807af61c0df207b4ca77660eeb3b6e9e6882c;hp=067807af61c0df207b4ca77660eeb3b6e9e6882c;p=model-checker.git

threads: initialized Thread member variables
---