commit | 94866ccb7b8476762d57ab41c61e59c1189a0107 | [log] [tgz] |
---|---|---|
author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Dec 21 17:20:22 2008 +0000 |
committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Dec 21 17:20:22 2008 +0000 |
tree | 2ca2696c9f89b1ca7b729e591e51516d677af3e0 | |
parent | 03225a834a0dd72d96afd20c6d8188450dd08726 [diff] |
Fixed bug in vector clock updating for semaphores with non-zero initial value. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8854 a5019735-40e9-0310-863c-91ae7b9d1cf9