From: Brian Norris <banorris@uci.edu>
Date: Sat, 23 Feb 2013 03:01:13 +0000 (-0800)
Subject: nodestack: bugfix - reset backtracking points on diverging paths
X-Git-Tag: oopsla2013~226
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=6df4a86031c4831b581e39b093c5fad128bda582;hp=6df4a86031c4831b581e39b093c5fad128bda582;p=model-checker.git

nodestack: bugfix - reset backtracking points on diverging paths

Any time we diverge to a new execution path, we should reset the
backtracking information (i.e., which threads have executed and which
still must be backtracked) for the last node in the stack. We cannot
retain the "explored children" state after we have performed different
read-from or future-value divergence in the same node.
---