commit | 555fc57fc4c8ed646139b9e7ceaeb2857a16972c | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Feb 27 23:39:53 2011 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Feb 27 23:39:53 2011 +0000 |
tree | 231b891e069aedc268eb54f8eadc6f1afdb56617 | |
parent | 7aa38a97a2a49163e465a7c85b8b9469f5c7d8e2 [diff] |
Simplify the implementation of VTS__tick. The previous version was hard to understand, and had no comments re loop invariants etc. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11572 a5019735-40e9-0310-863c-91ae7b9d1cf9