|
From: <sv...@va...> - 2008-04-06 13:03:46
|
Author: bart
Date: 2008-04-06 14:03:49 +0100 (Sun, 06 Apr 2008)
New Revision: 7849
Log:
Simplified format in which a vector clock is printed.
Modified:
trunk/exp-drd/drd_vc.c
Modified: trunk/exp-drd/drd_vc.c
===================================================================
--- trunk/exp-drd/drd_vc.c 2008-04-06 07:51:24 UTC (rev 7848)
+++ trunk/exp-drd/drd_vc.c 2008-04-06 13:03:49 UTC (rev 7849)
@@ -260,15 +260,20 @@
const VectorClock* const vc)
{
unsigned i;
+ unsigned j = 1;
tl_assert(vc);
VG_(snprintf)(str, size, "[");
for (i = 0; i < vc->size; i++)
{
tl_assert(vc->vc);
- VG_(snprintf)(str + VG_(strlen)(str), size - VG_(strlen)(str),
- "%s %d: %d", i > 0 ? "," : "",
- vc->vc[i].threadid, vc->vc[i].count);
+ for ( ; j <= vc->vc[i].threadid; j++)
+ {
+ VG_(snprintf)(str + VG_(strlen)(str), size - VG_(strlen)(str),
+ "%s %d",
+ i > 0 ? "," : "",
+ (j == vc->vc[i].threadid) ? vc->vc[i].count : 0);
+ }
}
VG_(snprintf)(str + VG_(strlen)(str), size - VG_(strlen)(str), " ]");
}
|