From 8bfe0555350d48f40f95e48f873c990a6fd4152f Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 25 May 2012 19:36:06 -0700 Subject: [PATCH] clockvector: fixup print message --- clockvector.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/clockvector.cc b/clockvector.cc index 69503aa..aaf492d 100644 --- a/clockvector.cc +++ b/clockvector.cc @@ -63,6 +63,7 @@ bool ClockVector::happens_before(ModelAction *act, thread_id_t id) void ClockVector::print() { int i; + printf("CV: ("); for (i = 0; i < num_threads; i++) - printf("%d%c", clock[i], (i == num_threads - 1) ? '\n' : ' '); + printf("%2d%s", clock[i], (i == num_threads - 1) ? ")\n" : ", "); } -- 2.34.1