commit | 7627be3e26162e4f59ccfd35eaf31495ddefdf9b | [log] [tgz] |
---|---|---|
author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Jun 06 12:26:05 2009 +0000 |
committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Jun 06 12:26:05 2009 +0000 |
tree | 0b1cd10adc876d51cfb9ddd1170addcbf3d39ea6 | |
parent | 57ae7ad7e5b468d976ef43001f603bdbc842c53e [diff] |
Consistency improvement: made sure that for all synchronization operations vector clocks are combined after having created a new segment instead of before. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10265 a5019735-40e9-0310-863c-91ae7b9d1cf9