diff options
| -rw-r--r-- | include/object/ptalog.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/object/ptalog.h b/include/object/ptalog.h index 14ff2fd..e9694d2 100644 --- a/include/object/ptalog.h +++ b/include/object/ptalog.h @@ -66,9 +66,9 @@ class PTALog { kout << "[PTA] benchmark stop" << endl; } - void dump() + void dump(uint16_t trace_id) { - kout << "[PTA] trace, count=" << dec << log_index << endl; + kout << "[PTA] trace=" << dec << trace_id << ", count=" << log_index << endl; for (uint8_t i = 0; i < log_index; i++) { #ifdef PTALOG_TIMING kout << "[PTA] transition=" << log[i].transition_id; |