Use non-overlapping names for traces.
authorJosé Fonseca <jose.r.fonseca@gmail.com>
Mon, 12 Dec 2011 09:18:45 +0000 (09:18 +0000)
committerJosé Fonseca <jose.r.fonseca@gmail.com>
Mon, 12 Dec 2011 09:18:45 +0000 (09:18 +0000)
commitef77b9b7b2d7d115f3ae09b33ae3178abf6b08e6
tree01c292b02de6ee106ed570f4c6b29b95a47c18c2
parent75af088991ebfb4a02a0d0c50a705118c4fe3d4b
Use non-overlapping names for traces.
driver.py