From 3e5a49688722ea039dc6869003bc78531f666d4e Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Fri, 25 May 2012 19:19:15 -0700
Subject: [PATCH] action: enhance print() message

Include clock vector, realign
---
 action.cc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/action.cc b/action.cc
index b0d8fc9..73d4c49 100644
--- a/action.cc
+++ b/action.cc
@@ -122,6 +122,11 @@ void ModelAction::print(void)
 		type_str = "unknown type";
 	}
 
-	printf("(%4d) Thread: %d\tAction: %s\tMO: %d\tLoc: %14p\tValue: %d\n",
+	printf("(%3d) Thread: %-2d    Action: %-13s    MO: %d    Loc: %14p    Value: %d",
 			seq_number, id_to_int(tid), type_str, order, location, value);
+	if (cv) {
+		printf("\t");
+		cv->print();
+	} else
+		printf("\n");
 }
-- 
2.34.1