char* vc;
vc = DRD_(vc_aprint)(&sg->vc);
- VG_(message)(Vg_DebugMsg, "New segment for thread %d with vc %s",
+ VG_(message)(Vg_DebugMsg, "New segment for thread %d with vc %s\n",
created, vc);
VG_(free)(vc);
}
char* vc;
vc = DRD_(vc_aprint)(&sg->vc);
- VG_(message)(Vg_DebugMsg, "Discarding the segment with vector clock %s",
+ VG_(message)(Vg_DebugMsg, "Discarding the segment with vector clock %s\n",
vc);
VG_(free)(vc);
}
vc = DRD_(vc_aprint)(&sg->vc);
VG_(message)(Vg_DebugMsg,
- "Decrementing segment reference count %d -> %d with vc %s",
+ "Decrementing segment reference count %d -> %d with vc %s\n",
sg->refcnt, sg->refcnt - 1, vc);
VG_(free)(vc);
}
vc1 = DRD_(vc_aprint)(&sg1->vc);
vc2 = DRD_(vc_aprint)(&sg2->vc);
- VG_(message)(Vg_DebugMsg, "Merging segments with vector clocks %s and %s",
- vc1, vc2);
+ VG_(message)(Vg_DebugMsg,
+ "Merging segments with vector clocks %s and %s\n", vc1, vc2);
VG_(free)(vc1);
VG_(free)(vc2);
}