From: Brian Norris <banorris@uci.edu>
Date: Thu, 17 Jan 2013 01:42:57 +0000 (-0800)
Subject: model: bugfix - sleep sets are NOT directly compatible with DPOR
X-Git-Tag: oopsla2013~355
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ceac3a2484741a39bcb00f8593514f65be8bbe85;hp=ceac3a2484741a39bcb00f8593514f65be8bbe85;p=model-checker.git

model: bugfix - sleep sets are NOT directly compatible with DPOR

We failed to incorporate changes from the POPL'05 DPOR paper's addendum,
preventing us from seeing all behaviors in some test programs. This
fixes that.
---