- printf("(%3d) Thread: %-2d Action: %-13s MO: %d Loc: %14p Value: %d",
- seq_number, id_to_int(tid), type_str, order, location, value);
+ uint64_t valuetoprint=type==ATOMIC_READ?reads_from->value:value;
+
+ printf("(%3d) Thread: %-2d Action: %-13s MO: %d Loc: %14p Value: %-12" PRIu64,
+ seq_number, id_to_int(tid), type_str, order, location, valuetoprint);
+ if (reads_from)
+ printf(" Rf: %d", reads_from->get_seq_number());