summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--include/object/ptalog.h4
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;