From: Brian Norris <banorris@uci.edu>
Date: Fri, 12 Oct 2012 18:05:12 +0000 (-0700)
Subject: thread_id_t: add comments
X-Git-Tag: pldi2013~45
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c30a9cfd8df1150f6a2e89dde93781e334d4453d;hp=c30a9cfd8df1150f6a2e89dde93781e334d4453d;p=model-checker.git

thread_id_t: add comments
---