From: Brian Norris <banorris@uci.edu>
Date: Tue, 5 Mar 2013 00:32:16 +0000 (-0800)
Subject: model: refactor the get_thread() selection
X-Git-Tag: oopsla2013~162
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ed060a0d38302898816bedc7205d0283fffcc6f1;hp=ed060a0d38302898816bedc7205d0283fffcc6f1;p=model-checker.git

model: refactor the get_thread() selection

get_thread() may or may not be called with a non-NULL 'curr' argument,
and if it non-NULL, it still may not be used. Make the logic cleaner by
pulling the 'curr'-specific functionality out to its own function.
---