action: enhance print() message

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index b0d8fc9b7bed4aaacc843cc8620c0abfffc1dd00..73d4c498a2c03a0a26b085fbf6a8b94a289b277a 100644 (file)
--- 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");
 }