From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 02:19:15 +0000 (-0700)
Subject: action: enhance print() message
X-Git-Tag: pldi2013~392^2~17
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3e5a49688722ea039dc6869003bc78531f666d4e;p=model-checker.git

action: enhance print() message

Include clock vector, realign
---

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");
 }