execution: refactor common CV propagation into its own function
authorBrian Norris <banorris@uci.edu>
Wed, 8 May 2013 17:05:44 +0000 (10:05 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 8 May 2013 17:09:37 +0000 (10:09 -0700)
There are a few occasions where we want to "fixup" a series of clock
vectors after establishing lazy synchronization (and one place where we
currently have a bug). Refactor this out to its own function so I can
reuse it elsewhere.


No differences found